2017 North American ASL Meeting: March 20-23, 2017

Conference web site

Plenary speakers
M. Aschenbrenner (UCLA)
C. Conley (Carnegie Mellon University)
I. Kalimullin (Kazan Federal Univeristy)
P. Koellner (Harvard University)
A. Medvedev (City College of New York)
A. Rinot (Bar-Ilan University)
M. Seisenberger (Swansea University)

Tutorial
V. Harizanov (George Washington University)

Special Sessions
Continuous model theory (Bradd Hart and Ward Henson)
Computable structure theory (Denis Hirschfeldt and Russell Miller)
Applications of set theory to topology and analysis (Michael Hrusak and Marion Scheepers)
Complexity theory and automated proofs (Sam Buss and Vijay Ganesh)
Philosophy Session (Kenneth Easwaran and Catarina Dutilh Novaes)

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

Attachments

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.