Logic List Mailing Archive

Logic Colloquium 2010

25-31 July 2010
Paris, France

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. Legrandgrard,
 
G. Malod, S. Prifel, J.-E. Pin, F. Point, P. Rozire, 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 below). Abstracts should be submitted online by the deadline of April
 
5, 2010 at the official meeting website: http://www.logic2010.org