Early registration for the 2019 Annual Meeting is now CLOSED. Onsite registration will be available at the meeting.
Schedule for the 2019 Annual Meeting: PDF
- May 20--23, 2019 2019 ASL North American Annual Meeting
- June 17-21, 2019 Sixteenth Asian Logic Conference
- August 11-16, 2019 2019 European Summer Meeting (Logic Colloquium '19)
- December 16-20, 2019 18th Simposio Latinoamericano de Lógica Matemática (SLALM 2019)
- March 25-28, 2020 2020 ASL North American Annual Meeting
May 20--23, 2019: 2019 ASL North American Annual Meeting
New York, New York: The 2019 Annual Meeting will take place at the CUNY Graduate Center in New York City. The Gödel Lecture will be delivered by S. Buss, and additional invited addresses will be given by D. Bartosova, V. Fischer, L. Fortnow, D. Haskell, R. Iemhoff, J.P. Marquis, R. Patel, and M. Soskova. A tutorial will be presented by J. Lutz. Special sessions will be held in Computability Theory; Logic and Philosophy; Model Theory; Proof Theory (Justification Logic); Set Theory; and one session related to the Gödel Lecture. The members of the Program Committee are S. Buss, J. Franklin, W. Holliday (chair), E. Landry, A. Marks and J. Nagloo. The members of the Local Organizing Committee are E. Antonakos (co-chair), S. Artemov, A. Dolich, S. Friedman (co-chair), G. Fuchs, and J. Hamkins. Further information is available at https://asl2019.commons.gc.cuny.edu.
June 17-21, 2019: Sixteenth Asian Logic Conference
Nazarbayev University, Astana, Kazakhstan: The invited speakers include S. Badaev, N. Bazhenov, Q. Feng, S. Fuchino, B. Kim, T. Kihara, B. Kulpeshov, D. Kuske, D. Macpherson, A. Pietarinen, T. Usuba, and S. Zhiwei. The special sessions are Computability Theory, Model Theory, Set Theory, Logic in Computer Science, and Philosophical Logic. The members of the Local Organizing Committee are M. Mustafa and V. Tourassis.. The members of the Program Committee are B. Baizhanov, J. Brendle, S.S. Goncharov (Chair), G. Wu, K. Ikeda, B. Khoussainov, A. Morozov, H. Ono, Y. Yang, and L. Yu. For further information, visit http://www.alc2019.kz or email email@example.com
August 11-16, 2019: 2019 European Summer Meeting (Logic Colloquium '19)
Prague, Czech Republic: Confirmed speakers so far include S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlenbach (Retiring Presidential Address), G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. The meeting will include special sessions in Computability, Model Theory, Proof Theory and Proof Complexity, and Set Theory. The members of the Program Committee are A. Arana, L. Beklemishev (chair), A. Ciabattoni, R. Miller, M. Otto, P. Pudlák, S. Todorcević, and A. Wilkie. The members of the Local Organizing Committee are D. Chodounský (co-chair), P. Cintula, R. Honzík, J. Hubicka, P. Pudlák, J. Starý, N. Thapen and J. Verner (co-chair). For further information please visit https://www.lc2019.cz/. Student travel grant information can be found here: https://lc2019.cz/support. This meeting is co-located with the 16th CLMPST (see "Other Meetings"), with a public lecture, jointly sponsored by the two meetings, on August 11, 2019. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts. Abstracts must be submitted by email to firstname.lastname@example.org by April 30, 2019.
December 16-20, 2019: 18th Simposio Latinoamericano de Lógica Matemática (SLALM 2019)
Universidad de Concepción, Chile: The SLALM was conceived in the late 1960s by Abraham Robinson, who at the time was President of the ASL. It brings together the community of researchers in logic in Latin America and is nourished by the crucial participation of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event. The 18th SLALM (Latin American Symposium on Mathematical Logic 2019) will take place at the Universidad de Concepción in Chile. The Program Committee consists of A. Berenstein (chair), M. Busaniche, D. Figueira, Ll. Godo, C. Gutierrez, J. Lopez-Abad, A. Macintyre, C. Martinez-Ranero, A. Montalbán, S. Montenegro, N. Olivetti, T. Slaman, and B. Ziliani. Members of the Organizing Committee are S. Briceño, A. Gajardo, C. A. Martinez-Ranero, M. A. Rodriguez, J. Utreras, and X. Vidaux. The conference website is http://slalmxviii.udec.cl.