 |
|
- March 31--April 3, 2012
- 2012 ASL North American Annual Meeting
- July 12--18, 2012
- 2012 ASL European Summer Meeting (Logic Colloquium '12)
- May 8--May 11, 2013
- 2013 ASL North American Annual Meeting
2012 ASL North American Annual Meeting Madison, Wisconsin
March 31--April 3, 2012
The twenty-third annual Gödel Lecture will be delivered by J. Steel.
The invited speakers are: A. Dow, I. Goldbring, W. Goldfarb, J. Miller, A. Montalban, T. Pitassi, G. Sargsyan, S. Starchenko, and M. Vardi. The following special sessions are planned (with organizers in parentheses): Computability (L. Bienvenu and J. Reimann), Model theory (M.C. Laskowski), Set theory (D. Raghaven and J. Steprans), Structural proof theory and computing (D. Miller), and the history of logic on the centenary of the birth of Jean van Heijenoort (T. Drucker).
The members of the Program Committee are: J. Avigad, B. Hart (Chair) A. Miller, G. Nadathur, and J. Reimann. The Local Organizing Committee includes: U. Andrews, M. Cai, S. Lempp (Chair),
A. Miller, and J. Miller. A complete program and registration form are enclosed in the Newsletter mailing to ASL members. Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html. For further information, visit
the website below.
http://www.math.wisc.edu/~asl2012/
2012 ASL European Summer Meeting (Logic Colloquium '12) Manchester, England
July 12--18, 2012
Tutorials (with topics in parentheses) will be offered by: I. Farah (set theory), A. Montalban (computability theory), and B. Zilber (model theory).
The invited speakers include: J. Avigad, A. Blass, S. Buss, G. Jones, P. Komjath, L. Levin, G. Longo, M. Magidor, Z. Sela, V. Shavrukov, A. Shlapentokh, and M. Soskova.
In addition, H. Friedman will deliver the Goodstein Lecture and A. Macintyre will deliver the Turing Lecture, in celebration of the centenaries of the births of R.L. Goodstein and A.M. Turing.
The following special sessions (with organizers in parentheses) also are planned: Computability, logical and physical (B. Cooper); Homotopy type theory (S. Awodey); Model theory (M. Tressl); Philosophy of mathematics and computer science (R. Turner); Proof theory (L. Beklemishev); and, Set theory (U. Abraham). The Program Committee members are: U. Abraham, L. Beklemishev, B. Cooper, P. D'Aquino (Chair), A. Dawar, G. Sundholm, M. Tressl, and F. Wolter. The Local Organizing Committee includes: S. Borovik, M. Kambites, J. Paris, M. Prest, H. Simmons, M. Tressl, A. Vencovska, A. Wilkie (Chair), and G. Wilmers. 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 above).
Abstracts---hard copy or email---should be received before the deadline
of March 30, 2012 at the official meeting address: LC2012, c/o Alex Wilkie, School of Mathematics, The Alan Turing Building, University of Manchester, Manchester M13 9PL, UK; email:
lc2012@manchester.ac.uk.
http://www.mims.manchester.ac.uk/events/workshops/LC2012/index.php
2013 ASL North American Annual Meeting Waterloo, Ontario, Canada
May 8--May 11, 2013
The members of the Program Committee are: S. Awodey, I. Farah (Chair), A. Kanamori, R. Moosa, J. Reimann, and P. Scott. The Local Organizing Committee includes: S. Ben-David, B. Csima (Chair),
D. DeVidi, R. Moosa, and R. Willard.