2016-17 ASL Winter Meeting (with Joint Mathematics
Meetings) Atlanta, Georgia
January 6--7, 2017
This meeting will take place in conjunction with the Joint Mathematics Meetings taking place January 4-7, 2016. The invited speakers include: C. Conley, A. Dolich, M. Foreman, R. Moosa, A. Shlapentokh, H. Towsner, and L. Brown Westrick. The members of the Program Committee are J. Franklin, I. Goldbring, and C. Rosendal (Chair). A registration form and hotel information is mailed to ASL members with the November Newsletter mailing.
2017 ASL North American Annual Meeting Boise, Idaho
March 20--23 2017
The twenty-eighth annual Gödel Lecture will be delivered. The invited speakers include: M. Aschenbrenner, C. Conley, I. Kalimullin, P. Koellner, A. Medvedev, A. Rinot, and M. Seisenberger. A tutorial will be offered by V. Harizanov. 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).
Abstracts for 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 December 2, 2016, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: email@example.com.
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).
2017 ASL European Summer Meeting (Logic Colloquium '17) Stockholm, Sweden
August 14--20, 2017
The Program Committee members are: R. Downey, M. Dzamonja (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, P. Pagin, E. Palmgren (Co-Chair), and D. Westerstahl. 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]