Research Seminar
in
Finite Model Theory

General information

This research seminar in FMT is a joint seminar of the Department of Mathematics at the University of Helsinki and the Department of Mathematics, Statistics and Philosophy at the University of Tampere. The gatherings are held every second Friday at 12-14 (13-15 in Tampere) so that in principle every second gathering is held in Helsinki and every second in Tampere - see the weekly schedule below. The possible changes in timetables and the titles are announced on this page before each gathering. The gatherings are open to everyone interested in the field or the current topic.

The seminar has been active also in the spring 2001 and during the academic years 2001-2002, 2002-2003, 2003-2004 and in the fall 2004. Unfortunately some of the previous web pages are available only in Finnish.

Contents during the academic year 2004-2005

Supervisors:

• Lauri Hella (Tampere)
• Kerkko Luosto (Helsinki)

Meeting time and place:

• 13 - 15, Pinni ls. A 2088 (Tampere)
• 12 - 14, Exactum C123 (Helsinki)

Weekly schedule

• Fri 14.1.2005, Helsinki, Exactum, room C123;
  Hannu Niemistö: Combining local quantifiers
• Fri 28.1.2005, Tampere, Pinni ls. A 2088;
  Lauri Hella: Logic with aggregate operators
• Fri 11.2.2005, Helsinki, Exactum, room C123;
  Kerkko Luosto: Reconstruction problem and EF-game
• Fri 25.2.2005, Tampere, Pinni ls. A 2088;
  Jari Kivelä: Connections between modal logic and Boolean functions
• Fri 18.3.2005, Helsinki, Exactum, room C123;
  Ilkka Norros: Hierarchy architectures in random graphs
• Fri 8.4.2005, Tampere, Pinni ls. A 2088;
  Miguel Couceiro: On Function Class Composition and Normal Forms of Boolean functions
• Fri 22.4.2005, Helsinki, Exactum, room C123;
  Hannu Niemistö: A survey on the graph isomorphism problem
• Fri 6.5.2005, Tampere, Pinni ls. A 2088;
  TBA
• Fri 20.5.2005, Helsinki, Exactum, room C123;
  TBA