2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
Gavryushkin, A · Bulletin of Symbolic Logic · 2010
Logic Colloquium ’09, the 2009 European Summer Meeting of the Association for Symbolic Logic, was hosted by the Sofia University from July 31 to August 5, 2009. Major funding was provided by the Association for Symbolic Logic (ASL), the Bulgarian National Science Fund of the Ministry of Education and Science, and the U. S. National Science Foundation (NSF). The success of the meeting was due largely to the hard work of the Local Organizing Committee under the leadership of its Chair, Alexandra Soskova. The other members were Dimitar Dobrev, Dimitar Guelev, Lyubomir Ivanov, Stela Nikolova, Solomon Passy, Dimitar Shiyachki, Mariya Soskova, Mitko Yanchev, and Anton Zinoviev. The Program Committee consisted of Samson Abramsky (Oxford), Klaus Ambos-Spies (Heidelberg), Joan Bagaria (University of Barcelona, Chair), Fernando Ferreira (Lisbon), Martin Goldstern (Vienna), Erich Graedel (Aachen), Ehud Hrushovski (Israel), Tapani Hyttinen (Helsinki), Yiannis Moschovakis, (UCLA), Margarita Otero (Madrid), Stewart Shapiro (Ohio State), Ivan Soskov (Sofia), and W. Hugh Woodin (Berkeley). The main conference topics were: Computability Theory, Logic and Category Theory, Model Theory: New Directions in Classification Theory, Philosophical Logic, and Set Theory. The program included the Godel lecture, three tutorial courses, twelve invited plena ¨ ry lectures, and twenty invited lectures in five special sessions. There were eighty contributed papers and two hundred and eight participants from thirty-seven countries. Thirty-five students and recent Ph.D’s were awarded ASL travel grants, and seven obtained awards from the ASL’s NSF grant. The registration fees of twenty-five Bulgarian students were covered by local sponsors. A satellite meeting, the Workshop on Computability Theory 2009, organized by the Logic Group of the Sofia University, took place at the same venue following the Logic Colloquium (August 6–7). The Godel lecture was delivered by Richard A. Shore (Cornell Univ ¨ ersity), with the title: Reverse mathematics: the playground of logic. The following tutorial courses were delivered: Ulrich Kohlenbach (Technische Universitat Darmstadt), ¨ Applied proof theory: proof interpretations and their use in mathematics. Andre Nies (University of Auckland), Applying randomness to computability. Ralf Schindler (Universitat M¨ unster), ¨ The evolution of inner models. The following invited plenary lectures were presented: Elisabeth Bouscaren (Universite Paris-Sud 11), ´ Ranks in model theory and definable groups. S. Barry Cooper (University of Leeds), Definability in the real universe. Thierry Coquand (University of Gothenburg), Infinite objects in constructive mathematics. Ilijas Farah (York University), Ultrapowers of operator algebras. Valentina S. Harizanov (George Washington University), Four notions of degree spectra. Stephan Kreutzer (Oxford University), Algorithmic meta-theorems: upper and lower bounds. David W. Kueker (University of Maryland), Abstract elementary classes. Benjamin Miller, Forceless, ineffective, powerless proofs of descriptive set-theoretic dichotomy theorems. Itay Neeman (University of California Los Angeles), Forcing with ultrafilters. Dana S. Scott (Carnegie Mellon University), Mixing modality and provability. Katrin Tent (University of Munster), Computable functions on the reals. Jouko Va¨an¨ anen (University of Amsterdam), ¨ Dependence logic. The proceedings of Logic Colloquium ’09 will be published in a special issue of the Annals of Pure and Applied Logic. More information about the meeting can be found at the conference webpage, http://lc2009.fmi.uni-sofia.bg/. Abstracts of invited and contributed talks given in person or by title by members of the Association follow.