 |
|
- February 18--20, 2010
- 2010 ASL Winter Meeting (with APA)
- March 17--20, 2010
- 2010 ASL North American Annual Meeting
- July 25--July 31, 2010
- 2010 ASL European Summer Meeting (Logic Colloquium '10)
- March 24--27, 2011
- 2011 ASL North American Annual Meeting
2010 ASL Winter Meeting (with APA) Chicago, Illinois
February 18--20, 2010
This meeting will be held jointly with the Annual Meeting of the Central
Division of the American Philosophical Association. There are three
invited sessions. The first, Continuity and Infinitesimals,
includes the speakers K. Easwaran, P. Ehrlich, and D. Ross. The
speakers for the second session, Causality, are C.
Hitchcock, J. Pearl, and P. Spirtes. For the third session,
Pluralism, the speakers are R. Cook and J.-P. Marquis.
The members
of the Program Committee are P. Ehrlich, J. Joyce, and S. Shapiro
(Chair). The complete program for this meeting is available at
http://www.aslonline.org/Meetings.htm.
2010 ASL North American Annual Meeting Washington, D.C.
March 17--20, 2010
The twenty-first annual Gödel Lecture will be delivered by A. Razborov. A tutorial
will be offered by B. Coecke on ph{Quantum Computing.
The invited speakers include: Z. Chatzidakis, B. Kjos-Hanssen, K. Landsman, L. Moss,
D. Raghavan, T. Scanlon, E. Schimmerling, H. Towsner, and R. Weber.
Special sessions are planned on categorical logic, computational complexity, logic and foundations of physics, model theory, and set theory.
The members of the Program Committee are: W. Gasarch, J. Hamkins,
A. Kolesnikov, R. Rynasiewicz, P. Selinger, and R. Solomon (Chair).
The Local Organizing Committee
includes: A. Enayat, A. Eskandarian, J. Chubb, M. Friend, J. Goodrick, V. Harizanov
(Chair), and A. Kolesnikov. For further information, visit
the website below.
The complete program for this meeting is enclosed in the January 2010 Newsletter mailing. Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html. For further information, visit
the website below.
http://www.gwu.edu/~asl2010/
2010 ASL European Summer Meeting (Logic Colloquium '10) Paris, France
July 25--July 31, 2010
The Program Committee includes: A. Atserias, Z. Chatzidakis, T. Coquand, P.-L. Curien, M. Detlefsen, C. Dimitracopoulos, J. Floyd, I. Juhasz,
M. Magidor, M. Rathjen (Chair), T. Scanlon, A. Soskova, and Y. Venema. The Local Organizing Committee includes: S. Abbes, V. Balat, T. Colcombet, R. Cori (Chair), T. Ehrhard, R. Labib-Sami, R. Lassaigne, Y. Legrandgérard,
G. Malod, S. Périfel, J.-E. Pin, F. Point, P. Rozière, T. Tsankov, and
B. Velikovic. For further information, contact R. Cori (email: cori@logique.jussieu.fr) or T. Ehrhard
(email: thomas.ehrhard@pps.jussieu.fr), or
visit http://www.logic2010.org.
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 should
be submitted online by the deadline of April 5, 2010 at the
official meeting website: http://www.logic2010.org.
http://logic2010.org