2015 ASL North American Annual Meeting Urbana, Illinois
March 25--28, 2015
The twenty-sixth annual Gödel Lecture will be delivered by A. Wilkie. The invited speakers are: V. Becher, D. Fernandez-Duque, R. Grossberg, Y. Gurevich, N. Immerman, R. Miller, and A. Tserunyan. Invited two-hour tutorials will be offered by J. Cummings and C. Miller. The members of the Program Committee are: D. Haskell (Chair) , P. Hieronymi, A. Montalban, A. Razborov, D. Sinapova, and H. Towsner. The Local Organizing Committee includes: A. Arana (Chair), L. van den Dries, P. Hieronymi, T. McCarthy, and S. Solecki. For further information, visit the website below.
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 below and http://clmps.helsinki.fi), and the Scandinavian Logic Society Summer School in Logic (see below 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, and S. Terwijn. 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.
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). Submission of abstracts opens on January 15, 2015 (see http://www.helsinki.fi/lc2015/submission.html) and abstracts should be submitted by the deadline of May 3, 2015
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]