25-31 July 2010, 2010 ASL European Summer Meeting (Logic Colloquium 2010), Paris, France

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic.

For further information, contact R. Cori (email: cori at logique.jussieu.fr) or T. Ehrhard (email: thomas.ehrhard at pps.jussieu.fr), or visit the website at http://www.logic2010.org/.