Meetings

> ASL Meetings
   Sponsored Meetings
   Other Meetings

   Search

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
Click here to view the rules for submitting abstracts.

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.

<top>

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/

<top>

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

<top>

2011 ASL North American Annual Meeting Berkeley, California
March 24--27, 2011
The members of the Program Committee are: S. Buss, J. Heis, I. Neeman (Chair), C. Papadimitriou, T. Slaman, and S. Starchenko. The Local Organizing Committee includes: P. Mancosu, T. Scanlon (Chair), T. Slaman, and W.H. Woodin.

<top>

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