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 https://www.aslonline.org/meeting_registrationsecure.html; please also sign up for the meeting banquet at http://asl2017.boisestate.edu/banquet/ and for the reception at http://asl2017.boisestate.edu/reception/. 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.
2016-17 ASL Spring Meeting (with APA) Seattle, Washington
April 12--15, 2017
This meeting will be held jointly with the Annual Meeting of the Pacific Division of the American Philosophical Association. There will be three invited sessions (with speakers in parentheses): Inclusiveness in logic education (M. Eckert, F. Liu, N. Wyatt, and A. Yap); Intuitionistic mathematics and logic (R. Iemhoff, J. Rand Moschvakis, and M. van Atten); and, Modality and modal logic (P. Fritz, T. Lando, and F. Liu). The members of the Program Committee are W. Holliday, A. Yap, and R. Zach (Chair). Information about registration and hotel reservations can be found at http://www.apaonline.org/event/2017pacific. 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).
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.
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 March 17, 2017. Submission is via EasyChair and the instructions can be found at the meeting website.
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. For further information, visit the webpage below.
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). The deadline for submissions is May 12, 2017. Submission instructions are available at the meeting website.
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. Westerst\aa hl. For further information, visit the webpage below.
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 should be submitted as pdf files at https://easychair.org/conferences/?conf=lc2017; for submission instructions see https://www.lc17.conf.kth.se/submissions.html. The deadline for submissions is May 5, 2017. If electronic submission is not possible, abstracts should be mailed to: Prof. Mirna Dzamonja, PC chair: Logic Colloquium 2017, School of Mathematics, University of East Anglia, Norwich, NR 4 7TJ, UK.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]