Skip to Main Content
Mobile Menu

Association for symbolic logic * 2017 North American meeting * March 20-23 * Boise

Gödel Lecturer

Charles Parsons (Harvard University)

Plenary speakers

M. Aschenbrenner (UCLA)
C. Conley (Carnegie Mellon University)
I. Kalimullin (Kazan Federal Univeristy)
P. Koellner (Harvard University)
Assaf Rinot (Bar-Ilan University)
M. Seisenberger (Swansea University)
C. Terry (University of Maryland-College Park)


V. Harizanov (George Washington University)

Special Sessions

Computable Structures
Denis Hirschfeldt and Russell Miller
Computer Aided Proofs
Sam Buss and Vijay Ganesh
Continuous Model Theory
Bradd Hart and Ward Henson
Proofs in Mathematical Practice
Kenneth Easwaran and Catarina Dutilh Novaes
Set Theory and its Applications to Analysis and Topology
Michael Hrusak and Marion Scheepers

Program Committee

Liljana Babinkostova, Boise State University
Gregory Cherlin, Rutgers University
Barbara Csima, University of Waterloo
Antonina Kolokolova, Memorial University of Newfoundland
Justin Moore (chair), Cornell University

Local organizers

Liljana Babinkostova
Andrew Cortens
Samuel Coskey
Stephen Crowley
Randall Holmes
Alex Jackson
Marion Scheepers


Dec 02 Abstract Submission Deadline – Contributed Talks
Dec 16 ASL Travel Grant Deadline
Feb 20 Online Pre-registration Deadline at Pre-registration Fee
Mar 20 Meeting day 1, On-site Registration, ASL Reception
Mar 21 Meeting day 2, Gödel Lecture, ASL Banquet
Mar 22 Meeting day 3, Plenary Talks, Sessions and Tutorial
Mar 23 Meeting day 4, Plenary Talks, Sessions

For questions regarding the conference please send an email to To download the conference poster please follow the link.