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