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.
Fri 9.9.2005, Tampere, Pinni ls. A 2089;
Hannu Niemistö: Homomorphism preservation theorem by Rossman
Fri 23.9.2005, Helsinki, Exactum B322;
Kerkko Luosto: Probabilistic method in finite model theory
Fri 7.10.2005, Tampere, Pinni ls. A 3112;
Suvi Lehtinen: Some variations of Goldblatt-Thomason Theorem Material: Slides Licentiate's thesis (in Finnish)
Fri 21.10.2005, Helsinki, Exactum B322;
Erkko Lehtonen: Subfunction relations defined by function classes
Fri 4.11.2005, Tampere, Pinni ls. A 3112;
Kerkko Luosto: The stepwise sharpening description of a graph
Fri 18.11.2005, Helsinki, Exactum B322;
Lauri Hella: Complete problems for higher order logic
Fri 2.12.2005, Tampere, Pinni ls. A 3112;
Juha Kontinen: Second order quantifiers in descriptive complexity
Fri 16.12.2005, Helsinki, Exactum B322;
Anssi Yli-Jyrä: Application of MSOL: Search-and-Replace-All for regular languages