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 13-15 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.

Contents during the academic year 2006-2007

Supervisors:

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

Meeting time and place:

• 13 - 15, Pinni (Tampere)
• 13 - 15, Exactum B322 (Helsinki)

Weekly schedule

• Fri 1.9.2006, Helsinki, Exactum B322
  Lauri Hella: Mathematics of Constraint Satisfaction - a Workshop in Oxford
• Fri 15.9.2006, Tampere, Pinni
  Maurice Pouzet: The profile of relations
• Fri 6.10.2006, Helsinki, Exactum B322
  Lauri Hella: Mathematics of Constraint Satisfaction (cont.)
• Fri 20.10.2006, Tampere, Pinni
  Antti Kuusisto: Multimodal Logics with Operations on Modalities
• Fri 3.11.2006, Helsinki, Exactum B322
  Juha Kontinen & Hannu Niemisto: Extensions of MSO and the monadic counting hierarchy
• Fri 17.11.2006 at 14-16, Tampere, Pinni A2089
  Merlijn Sevenster: Partially ordered connectives and \Sigma^1_1 on finite models

Program in previous years

• in the spring 2001
• 2001-2002
• 2002-2003
• 2003-2004
• in the fall 2004
• in the spring 2005
• in the fall 2005
• in the spring 2006