16-18 Sep 2010
Helsinki, Finland
******************************************************** Meeting in Honor of Jouko Vaananen's 60th Birthday University of Helsinki 16-18 September 2010 (tutorials 13-15 September 2010) http://www.helsinki.fi/~kulikov/jouko/ ******************************************************** GENERAL INFORMATION This meeting, organized by the Helsinki Logic Group, is in honour of professor Jouko Väänänen's sixtieth birthday. Topics include model theory, set theory, foundations of mathematics, logic in computer science, semantics of natural language, games, generalized quantifiers, infinitary languages, and abstract logic. DATES AND VENUE The conference takes place 16-18 September 2010. There will be two tutorials 13-15th September 2010. All talks in the Pieni Juhlasali, Main Building of the University of Helsinki, Fabianinkatu 33, Finland. INVITED SPEAKERS * Peter Aczel University of Manchester, * Joan Bagaria, University of Barcelona, * John Baldwin, University of Illinois at Chicago * Zoe Chatzidakis, Université Paris 7, * Mirna Damonja, University of East Anglia Norwich, * Pietro Galliani, University of Amsterdam, * Lauri Hella, University of Tampere, * Wilfrid Hodges, University of London, * Tapani Hyttinen, University of Helsinki, * Meeri Kesälä, University of Helsinki, * Oskari Kuusela, University of East Anglia * Peter Koepke, University of Bonn, * Phokion Kolaitis, University of California, * Juha Kontinen, University of Helsinki, * Roman Kossak, City University of New York, * Michał Krynicki, Cardinal Stefan Wyszyński University, Wa rsaw * Menachem Magidor, Hebrew University of Jerusalem, * Ilkka Niiniluoto, University of Helsinki, * Per Martin-Löf, Stockholm University, * Jaroslav Neetřil, Charles University Prague * Jeff Paris, University of Manchester, * Krister Segerberg, University of Uppsala, * Stevo Todorcevic, University of Toronto & CNRS Paris, * Dag Westerstahl, Göteborg University, * Boris Zilber, University of Oxford. TUTORIALS * Andrés Villaveces, Universidad Nacional de Colombia title: Model Theory of Sheaves. * Boban Velickovic, University of Paris 7 title: Transfinite games. SPONSORS * Aaltonen foundation * Finnish National Graduate School of Mathematics and Its Application s * Federation of Finnish Learned Societies * Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences FURTHER INFORMATION http://www.helsinki.fi/~kulikov/jouko/ On behalf of the organizing committee --------- Dr. Agatha Walczak-Typke Postdoctoral Researcher Department of Mathematics and Statistics University of Helsinki Finland