Meeting Site

University of Waterloo. Talks will take place in the Quantum Nano Centre (QNC) and in the Mathematics & Computer Building (MC). A campus map is available here. Registration begins at 9:30am in QNC 1501 on May 8.







Dates & Deadlines

Meeting Dates: May 8 – 11, 2013
Abstract Submission Deadline for Contributed Talks: February 11, 2013



A banquet is being planned for Friday May 10th. It will be held at the University Club on campus, with a cash bar starting at 6pm and a buffet dinner at 7pm. The subsidised cost, including tax and gratuity, will be $35 (CAN). Tickets will be sold in person during registration on Wednesday May 8th, and payment can be made in Canadian cash, personal cheque, or credit card.

Student and Postdoctoral Travel Grants

Applications and recommendations deadline is March 4, 2013. Applications should be sent to the Program Chair: Ilijas Farah, Dept. of Mathematics & Statistics, York University, 4700 Keele Street, Toronto, Ontario, Canada M3J 1P3; Fax: 416-736-5757; email: Applications by email are preferred.


Plenary Speakers

  • U. Andrews
    (University of Wisconsin - Madison)
  • M. Aschenbrenner
  • R. Blute
    (University of Ottawa)
  • D. Kerr
    (Texas A & M)
  • C. McLarty
    (Case Western Reserve)
  • D. Sinapova
  • T. Slaman
    (UC Berkeley)
  • M. Viale
    (University of Torino)
  • V. Voevodsky
  • F. Wagner
    (University de Lyon)

Gödel Lecture

K. Fine

(New York University)


Special Sessions

  • Applications of Logic to Operator Algebras
    (B. Hart, A. Törnquist)
  • Computable Structure/Model Theory
    (J. Knight, A. Montalbán)
  • Differential Categories and Differential Lambda Calculi
    (P. Scott, R. Seely)
  • Model Theory
    (R. Moosa, D. Marker)
  • Set Theory
    (J. Cummings, M. Magidor)
  • Univalent Foundations
    (S. Awodey, T. Coquand)