Universiteit van Amsterdam

Events

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.

https://asl2017.boisestate.edu

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

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X