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 2005-2006
The theme of the seminar during the academic year 2005-2006 is
"Connections of Finite Model Theory with Classical
Model Theory and Combinatorics."
Supervisors:
Meeting time and place:
- 13 - 15, Pinni A3098 (Tampere)
- 13 - 15, Exactum B322 (Helsinki)
Weekly schedule
- Fri 27.1.2006, Tampere, Pinni A3098
Ville Nurmi: Characterizing logical consequence in a fragment of IF-logic
- Fri 10.2.2006, Helsinki, Exactum B322
Hannu Niemistö: Strictness of ESO arity hierarchy or
FO variable number hierarchy on finite ordered structures
- Fri 24.2.2006, Tampere, Pinni A3098
Kerkko Luosto: Ordering random graphs by divisibility quantifiers
- Fri 10.3.2006, Helsinki, Exactum B322
Jarmo Kontinen: Zero-one law and generalized quantifiers
- Fri 24.3.2006, Tampere, Pinni A3098
Juha Kontinen: On leaf languages
(Leaf Languages Homepage)
- Fri 7.4.2006, Helsinki, Exactum B322
Petteri Kaski: Computational methods in combinatorics---
Classifying up to isomorphism the Steiner triple systems of order 19
Transparencies
- Fri 21.4.2006, Tampere, Pinni A3098
Miguel Couceiro: Characterizations of finitely
definable Boolean function classes in terms of a quasi-ordering
- Fri 5.5.2006, Helsinki, Exactum B322
Hannu Niemistö: 0-1-law and definability of linear order
- Fri 19.5.2006, Tampere, Pinni A3098
TBA
Program in previous years
The seminar has been active also