11-16 July 2011
The 2011 ASL European Summer Meeting (Logic Colloquium '11) will take place in Barcelona (Catalonia, Spain) on July 11--16, 2011 http://www.logic2011.org/ 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: firstname.lastname@example.org. 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.