Meetings

> ASL Meetings
   Sponsored Meetings
   Other Meetings

   Search

August 3--8, 2015
2015 ASL European Summer Meeting (Logic Colloquium '15)
January 6--9, 2016
2015-16 ASL Winter Meeting (with Joint Mathematics Meetings)
May 23--26, 2016
2016 ASL North American Annual Meeting
Click here to view the rules for submitting abstracts.

2015 ASL European Summer Meeting (Logic Colloquium '15) Helsinki, Finland
August 3--8, 2015
Logic Colloquium '15 will be co-located with the 15th Conference of Logic, Methodology and Philosophy of Science (CLMPS 2015; see Other Meetings and http://clmps.helsinki.fi), and the Scandinavian Logic Society Summer School in Logic (see ASL Sponsored Meetings and http://www.helsinki.fi/lc2015/sls.html). Tutorials will be offered by E. Grädel and M. Magidor. The invited plenary speakers include: T. Arai, S. Artemov, S. Awodey, J. van Benthem, A. Chernikov, I. Farah, D. Macbeth, A. Morozov, Y. Peterzil, R. Schindler, S. Shelah (TBC), and S. Terwijn. Special sessions (with organizers in parentheses) include: Computability theory (R. Miller and A. Soskova), Logic and quantum foundations (S. Abramsky), Model theory (D. Macpherson), Philosophy of mathematics and logic (P. Blanchette and P. Maddy), Proof theory (B. van den Berg and M. Rathjen), and Set theory (H. Mildenberger). The Program Committee members are: A. Bauer, Z. Chatzidakis, J.F. Knight, S. Kreutzer, \O. Linnebo, K. Tanaka, J. Väänänen, A. Weiermann, and D. Westerst\aa hl (Chair). The Local Organizing Committee includes: A. Halko, M. Hannula, L. Hella, \AA. Hirvonen, T. Huuskonen, T. Hyttinen, K. Kangas, J. Kennedy, J. Kontinen, K. Luosto, M. Moreno, J. Oikkonen, G. Paolini, M. Pauna, J. Väänänen (Chair), and F. Yang. For further information, visit the website below.


http://www.helsinki.fi/lc2015/

<top>

2015-16 ASL Winter Meeting (with Joint Mathematics Meetings) Seattle, Washington
January 6--9, 2016
This meeting will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal. The members of the Program Committee are C. Conley, C. Ealy, and J. Hirst (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 11, 2015, 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>

2016 ASL North American Annual Meeting Storrs, Connecticut
May 23--26, 2016
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). The members of the Local Organizing Committee are: Jc. Beall, D. Dzhafarov, D. Ripley, M. Rossberg, and R. Solomon (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 below). Abstracts must be received by the deadline of February 26, 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]