2016 ASL North American Annual Meeting Storrs, Connecticut
May 23--26, 2016
The invited speakers include: Z. Chatzidakis, M. Kaufmann, K. Lange, I. Neeman, M. Rathjen, and S. Shapiro. Alasdair Urquhart will give an ASL retiring presidential address. Tutorials will be offered by D. Hirschfeldt and M. Malliaris. Special sessions (with organizers in parentheses) include: Computability theory (B. Csima and M. Soskova), Model theory (C. Hill and R. Nagloo), History and philosophy of logic (dedicated to the memory of Aldo Antonelli) (G. Russell and R. Zach), and Set theory (C. Conley and G. Sargsyan). The members of the Program Committee include: P. Blanchette (Chair), D. Dzhafarov, R. Lubarsky, A. Montalban, J. Moore, and C. Wood. The members of the Local Organizing Committee are: Jc. Beall, D. Dzhafarov, D. Ripley, M. Rossberg, and R. Solomon (Chair). Electronic registration is available at http://www.aslonline.org/meeting_registrationsecure.html. The complete program for this meeting is included in this Newsletter mailing (as a .pdf attachment for those receiving the Newsletter via email). For further information, visit the webpage below.
2016 ASL European Summer Meeting (Logic Colloquium '16) Leeds, England
July 31--August 6, 2015
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. Velicković). 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 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 can be submitted at http://www.lc2016.leeds.ac.uk/submission.html; the deadline for submission is April 29, 2016.
2017 ASL North American Annual Meeting Boise, Idaho
March 20--23 2017
The Local Organizing Committee includes: L. Babinkostova, A. Cortens, S. Coskey, S. Crowley, R. Holmes, A. Jackson, and M. Scheepers (Chair).
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]