Logic List Mailing Archive

Logic Colloquium 2011

11-16 July 2011
Barcelona, Spain

The 2011 ASL European Summer Meeting (Logic Colloquium '11) will take 
place in Barcelona (Catalonia, Spain) on July 11--16, 2011


The Program Committee members are: K. Ambos-Spies (Chair), J. Avigad, H. 
Barendregt, E. Casanovas, S. Kreutzer, H. Mildenberger, A. Sorbi, T. 
Tinchev, A. Visser, and B. Zilber. The Local Organizing Committee 
includes: D. Asperó, A. Atserias, J. Bagaria (Chair),

F. Bou, E. Casanovas, V.  Dalmau, P. Dellunde, M. Esteban, R. Jansana, D. 
Palacín, J. Potier, and D. Virgili.

Scientific Programme:

Gödel lecture: Anand Pillay (University of Leeds)

Tutorials: Georges Gonthier (Microsoft Research): Formal Verification. 
Martin Ziegler (Universität Freiburg): Model Theory.

Plenary Speakers: Steve Awodey (Carnegie Mellon University), George 
Barmpalias (University of Amsterdam), Lev D. Beklemishev (Steklov 
Mathematical University), Raf Cluckers (Université Lille), Todd Eisworth 
(Ohio University), Sergey Goncharov (Russian Academy of Sciences), Henri 
Lombardi (Université de Franche-Comté), Jordi López-Abad (ICMAT), Kenneth 
Manders (University of Pittsburgh), Martin Otto (Technische Universität 
Darmstadt), Jan Reimann (Penn State University), Andrzej Roslanowski 
(University of Nebraska), Yde Venema (University of Amsterdam).

Special Sessions (Organizers):
- Computability Theory and Logic for Computer Science (Albert Atserias
and Rod Downey),
- Foundations of Mathematics and Philosophy of Logic (Johan van Benthem
and Ian Pratt-Hartmann),
- Model Theory (Enrique Casanovas and Kobi Peterzil),
- Proof Theory and Constructive Mathematics (Erik Palmgren and Michael
- Set Theory (Joan Bagaria and Heike Mildenberger)

Important dates:

1. Abstracts for contributed talks should be received before the
deadline of March 28, 2011. They may be submitted online at
or by regular mail to the official meeting address:

     Joan Bagaria,
     Chair of the Organizing Committee, LC11,
     Departament de Logica, Historia i Filosofia de la Ciencia,
     Universitat de Barcelona,
     Montalegre 6,
     08001 Barcelona, Spain

   email: lc2011@lsi.upc.edu.

2.  A number of travel grants are available for students and recent
PhDs. To apply please fill in the form at  http://www.logic2011.org/
before March 21.

3. Early registration rates are available before April 30.