2013 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Waterloo Waterloo, Ontario, Canada May 8–11, 2013. Issue 1 (13th May 2014) - Unknown