GENERAL SCIENTIFIC ACTIVITY

December 20, 2014
THE FIELDS INSTITUTE FOR RESEARCH IN MATHEMATICAL SCIENCES
20th ANNIVERSARY YEAR

May 8-13 , 2013

North American Annual Meeting,
held at the University of Waterloo

Organizing Committee
Shai Ben-David (Computer Science), Barbara Csima (chair, Pure Math),
David DeVidi (Philosophy), Rahim Moosa(Pure Math), Ross Willard (Pure Math)

The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. The ASL holds two major annual meetings, one in North America and the other in Europe. The University of Waterloo is home to several logicians spread across three departments, and we look forward to the opportunity to host this meeting.

Special Sessions

(1) Applications of logic to operator algebras
(2) Computable structure/model theory
(3) Differential Categories and Differential Lambda Calculi
(4) Univalent Foundations
(5) Model Theory
(6) Set Theory
(7) Contributed Talks

Programme Committee Members:

Steve Awodey (Carnegie Mellon)
Ilijas Farah, (York) (Chair)
Akihiro Kanamori, (Boston)
Rahim Moosa, (Waterloo)
Jan Reimann, (Penn State)
Phil Scott (Ottawa)

Plenary Speakers

Uri Andrews, (Wisconsin - Madison)
Matthias Aschenbrenner, (UCLA)
Rick Blute (Ottawa)
David Kerr (Texas A & M)
Colin McLarty (Case Western Reserve)
Dima Sinapova (UC - Irvine)
Ted Slaman (UC- Berkeley)
Matteo Viale (Torino)
Vladimir Voevodsky (IAS)
Frank Wagner (Lyon)

Top