Meetings

> ASL Meetings
   Sponsored Meetings
   Other Meetings

   Search

June 26--30, 2017
Seventeenth Latin American Symposium on Mathematical Logic (SLALM 2017)
July 10--14, 2017
Asian Logic Conference (ALC 2017)
August 14--20, 2017
2017 ASL European Summer Meeting (Logic Colloquium '17)
January 3--6, 2018
2017-18 ASL Winter Meeting (with APA)
January 12--13, 2018
2017-18 ASL Winter Meeting (with Joint Mathematics Meetings)
May 16--19, 2018
2018 ASL North American Annual Meeting
Click here to view the rules for submitting abstracts.

Seventeenth Latin American Symposium on Mathematical Logic (SLALM 2017) Puebla, Mexico
June 26--30, 2017
The Simposio Latinoamericano de Lógica Matemática became an official ASL meeting by ASL Council action in May 2016. The invited plenary speakers include: C. Areces, A. Berenstein, D. Dzhafarov, J. Lopez-Abad, G. Metcalfe, and F. Zalamea Traba. The following tutorials will be offered (with speakers in parentheses): Logic/AI (M. Finger), Model theory (P. Simon), Non-Classical Logics/Philosophical Logic (M. Coniglio), and Set theory (C. Brech). Special sessions include: Computability, Logic and computer science, Model theory, Philosophy of logic/Philosophical logic/Non-classical logics, Proof theory, and Set theory. The members of the Program Committee are: V. Becher, X. Caicedo, W. Carnielli (Chair), N. Dobrinen, C. Di Prisco, Antonio Montalbán, R. Morado, M. Osorio, S. Todorcevic, and B. Zilber. The Local Organizing Committee includes: D. Meza Alcantara, R. Rojas Barbachano, R. Monroy Borja, C. Zepeda Cortés, U.A. Ramos García, L. Estrada González, M. Alvarado Mentado, A. Ramírez Paramo, F.E. Miranda Perea, J.R.E. Arrazola Ramírez (Chair), M. Martínez Ruiz, and M. Fernández de Castro Tapia. For further information, visit the webpage below.


http://www.fcfm.buap.mx/SLALM2017

<top>

Asian Logic Conference (ALC 2017) Daejeon, Republic of Korea
July 10--14, 2017
The Asian Logic Conference became an official ASL meeting by ASL Council action in May 2016. The invited speakers include: J. Makowsky, S. Negri, Y. Peng, K. Tent, K. Yi, Y. Yin, L. Yu, and Y. Zhu. Special sessions on the following topics will be held: Computability, Model theory, Philosophical logic, and Set theory. The members of the Program Committee are J. Brendle, R. Downey, Q. Feng, B. Kim (Chair), F. Liu, R. Ramanujam, A. Tsuboi, and Y. Yang. The members of the Local Organizing Committee are: I. Chung (Chair), J. Kim, G. Lee, and M. Ziegler. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see above). The deadline for submissions is May 31, 2017. Submission instructions are available at the meeting website.

For further information, visit the webpage below.


https://alc15korea.wixsite.com/alckorea

<top>

2017 ASL European Summer Meeting (Logic Colloquium '17) Stockholm, Sweden
August 14--20, 2017
LC '17 will be co-located with with the Third Nordic Logic Summer School (see Calendar of Other Meetings and https://www.sls17.conf.kth.se) and the Twenty-sixth Annual Conference of the European Association for Computer Science Logic (CSL 2017; see the Calendar of Other Meetings and https://www.csl17.conf.kth.se). The invited speakers include: D. Aspero, A. Berarducci, E. Bouscaren, C. Brech, S. Fuchino, D. Hirschfeldt, W. Hodges, E. Jerabek, P. Martin-Löf, D. Prawitz, and S. Smets. Tutorials will be offered by P. Bouyer-Decitre and M. Gehrke. The invited speakers for the CSL 2017/LC '17 highlight session are V. Becher and P. Simon. The Program Committee members are: R. Downey, M. D\v zamonja (Chair), A. Enayat, F. Ferreira, V. Goranko, M. Hils, S. Negri, A. Rinot, and I. Walukiewicz. The Local Organizing Committee includes: M. Dam, V. Goranko (Co-Chair), S.-O. Hansson, V. Koponen, R. Loukanova, P. LeFanu Lumsdaine, A. Lundstedt, P. Pagin, E. Palmgren (Co-Chair), and D. Westerstahl. For further information, visit the webpage below.


https://www.lc17.conf.kth.se

<top>

2017-18 ASL Winter Meeting (with APA) Savannah, Georgia
January 3--6, 2018
This meeting will be held jointly with the Annual Meeting of the Eastern Division of the American Philosophical Association. The members of the Program Committee are R. Heck (Chair) and T. Lando. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see above). Abstracts must be received by the deadline of September 8, 2017, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: asl@vassar.edu.

<top>

2017-18 ASL Winter Meeting (with Joint Mathematics Meetings) San Diego, California
January 12--13, 2018
This meeting will take place in conjunction with the Joint Mathematics Meetings taking place January 10-13, 2018. The Joint Mathematics Meetings program includes a joint AMS-ASL special session, Set Theory, Logic and Ramsey Theory, organized by A. Caicedo and J. Mijares. The members of the Program Committee are J. Reimann (Chair), P. Scowcroft, and A. Tserunyan. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see below). Abstracts must be received by the deadline of September 11, 2017, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: asl@vassar.edu.

<top>

2018 ASL North American Annual Meeting Macomb, Illinois
May 16--19, 2018
The members of the Program Committee include: T. Carlson, B. Csima, T. Eisworth, M. Glanzberg, I. Kalantari, D. Marker (Chair), and M. Soskova. The members of the Local Organizing Committee are: J. Chisholm, R. Dimitrov, C. Ealy, D. Haugen, I. Kalantari (Chair), J. Maríková, M. Moniri, G. Pettit, B. Powell, C. Pynes, N. Vakil, G. Weitkamp, and L. Welch.

<top>

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]