Universiteit van Amsterdam


Institute for Logic, Language and Computation

20 - 23 March 2017, 2017 ASL North American Annual Meeting, Boise ID, U.S.A.

Date: 20 - 23 March 2017
Location: Boise ID, U.S.A.

*2017 ASL North American Annual Meeting* *Boise, Idaho* *March 20--23 2017*

The twenty-eighth annual Gödel Lecture will be delivered by C. Parsons. The invited speakers include: M. Aschenbrenner, C. Conley, I. Kalimullin, P. Koellner, A. Rinot, M. Seisenberger, and C. Terry. A tutorial will be offered by V. Harizanov. Special sessions (with organizers in parentheses) include: Computable structures (D. Hirschfeldt and R. Miller), Computer-aided proofs (S. Buss and V. Ganesh), Continuous model theory (B. Hart and W. Henson), Proofs in mathematical practice (K. Easwaran and C. Dutilh Novaes), and Set theory and its applications to analysis and topology (M. Hrusak and M. Scheepers). The members of the Program Committee are: L. Babinkostova, G. Cherlin, B. Csima, A. Kolokolova, and J. Moore (Chair). The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley, R. Holmes, A. Jackson, and M. Scheepers (Chair). Electronic registration is available at

http://www.aslonline.org/meeting_registrationsecure.html. The complete program for this meeting is included in the January 2017 Newsletter mailing (as a pdf attachment for those receiving the Newsletter via email). For further information, visit the webpage below.


For more information, see https://asl2017.boisestate.edu.