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

Sep 13 2010 - 09:00
Sep 18 2010 - 18:00
Venue: 

Pieni Juhlasali, Main Building of the University of Helsinki, Fabianinkatu 33, Helsinki, Finland.

Short description of the event: 

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
The conference takes place 16-18 September 2010.

There will be two tutorials 13-15th September 2010.

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
    Model Theory of Sheaves.

  • Boban Velickovic, University of Paris 7
    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/