Meetings

> ASL Meetings
   Sponsored Meetings
   Other Meetings

   Search

July 31--August 6, 2016
2016 ASL European Summer Meeting (Logic Colloquium '16)
January 6--7, 2017
2016-17 ASL Winter Meeting (with Joint Mathematics Meetings)
March 20--23 2017
2017 ASL North American Annual Meeting
April 12--15, 2017
2016-17 ASL Spring Meeting (with APA)
Click here to view the rules for submitting abstracts.

2016 ASL European Summer Meeting (Logic Colloquium '16) Leeds, England
July 31--August 6, 2016
The twenty-seventh annual Gödel Lecture will be delivered by S. Todorcevic. The invited speakers include: B. van den Berg, L. Bienvenu, R. Garner, R. Goldblatt, I. Kaplan, T. Pitassi, F. Schlutzenberg, D. Sinapova, H. Towsner, T. Williamson, and B. Zilber. Tutorials (with the topic in parenthesis) will be offered by U. Andrews (Computable model theory) and T. Coquand (Univalent foundations). The following special sessions will be offered (with organizers in parentheses): Computability theory (I. Kalimullin and S. Terwijn); Formal theories of truth (O. Hjortland and D. Ripley); Homogeneous structures: model theory meets universal algebra (G. Cherlin and M. Pinsker); Model theory and limit structures (C. Hill and R. Patel); Proof theory and reverse mathematics (A. Montalban and A. Weiermann); and, Set theory (I. Neeman and B. Veliković). The Program Committee members are: M. Bodirsky, S. Buss, N. Gambino, R. Iemhoff (Chair), H. Leitgeb, S. Lempp, M. Malliaris, R. Schindler, and Y. Venema. The Local Organizing Committee includes: O. Beyersdorff, S.B. Cooper, N. Gambino (Chair), I. Halupczok, H.D. Macpherson, V. Mantova, M. Rathjen, J.K. Truss, and S.S. Wainer. For further information, visit the website below.
http://www.lc2016.leeds.ac.uk

<top>

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 members of the Program Committee are J. Franklin, I. Goldbring, and C. Rosendal (Chair). 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 12, 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: asl@vassar.edu.



<top>

2017 ASL North American Annual Meeting Boise, Idaho
March 20--23 2017
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).

<top>

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. The members of the Program Committee are W. Holliday, A. Yap, and R. Zach (Chair). 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 12, 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: asl@vassar.edu.

<top>

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