Meetings

> ASL Meetings
   Sponsored Meetings
   Other Meetings

   Search

March 25--28, 2015
2015 ASL North American Annual Meeting
May 23--26, 2016
2016 ASL North American Annual Meeting
August 3--8, 2015
2015 ASL European Summer Meeting (Logic Colloquium '15)
Click here to view the rules for submitting abstracts.

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.
http://www.math.illinois.edu/ASL2015

Register Now

<top>

2016 ASL North American Annual Meeting Storrs, Connecticut
May 23--26, 2016
The members of the Local Organizing Committee are: Jc. Beall, D. Dzhafarov, D. Ripley, M. Rossberg, and R. Solomon (Chair).

<top>

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.
http://www.helsinki.fi/lc2015/

<top>

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