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 Rathjen),
- 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 http://www.logic2011.org/ 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.