[FOM] Meeting in Honor of Jouko Väänänen's 60th Birthday

[by way of Martin Davis <eipye@pacbell.net>]

     Meeting in Honor of Jouko Väänänen'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 Džamonja, 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, Warsaw
     * Menachem Magidor, Hebrew University of Jerusalem,
     * Ilkka Niiniluoto, University of Helsinki,
     * Per Martin-Löf, Stockholm University,
     * Jaroslav NešetÅ™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 Applications
     * 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