2010 ASL （Association for Symbolic Logic）North American Annual Meeting
2010 ASL （Association for Symbolic Logic）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 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: J. Chubb, A. Enayat, A. Eskandarian, M. Friend, J. Goodrick, V. Harizanov (Chair), and A. Kolesnikov. 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 must be received by the deadline of December 4, 2009, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: asl@vassar.edu.
For further information about this meeting, visit the website below.
http://www.gwu.edu/~asl2010/
For further information about this meeting, visit the website below.
http://www.gwu.edu/~asl2010/
Paris, France
July 25--July 31, 2010
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, R. Cori (Chair), T. Ehrhard, R. Labib-Sami, R. Lassaigne, Y. Legrandgérard, G. Malod, S. Périfel, J.-E. Pin, P. Rozière, and B. Velikovic. For further information, contact R. Cori (email: cori@logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard@pps.jussieu.fr), or, beginning November 1, 2009, 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 (beginning November 1, 2009) by the deadline of April 5, 2010 at the official meeting website: http://www.logic2010.org.
www.logic2010.org