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 following special sessions will be offered (with organizers in parentheses: Computability U. Andrews and S. Lempp), Constructive mathematics (D. Bridges and V. Kreinovich), Model theory of ordered structures (Y. Peterzil and S. Starchenko), Parametrized complexity (R. Downey and S. Gaspers), Philosophy of mathematics (A. Arana and A. Yap), and Set theory (S. Solecki). 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. Electronic registration is available at http://www.aslonline.org/meeting\_registrationsecure.html. 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 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.
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). Abstracts can be submitted at http://www.helsinki.fi/lc2015/submission.html; the deadline for submission is May 3, 2015.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]