Finite model theory in Finland
Researchers
Lauri Hella
Taneli Huuskonen
Tapani Hyttinen
Juha Kontinen
Kerkko Luosto
Markku Niemenmaa
Juha Nurmonen
Jouko Väänänen
Postgraduate Students
Joanna Golinska
Jari Kivelä
Jarmo Kontinen
Suvi Lehtinen
Hannu Niemistö
Mikko Suonio
General
Project of Academy of Finland
Descriptive complexity theory
by Neil Immerman
Descriptive complexity theory
by Iain Stewart
Finite model theory
(transparencies by Lauri Hella)
Descriptive complexity theory
(transparencies by K. Luosto)
Intensive course in FMT
(lecture notes by Jouko Väänänen)
Publications
List
Manuscripts (not yet available)
Meetings
ESSLLI 2001 workshop
Automata and Finite Model Theory
Automata, Words and Logic
Teaching
Finite model theory
Random structures
Research seminar
Non-associative binary systems (23-28 May 2002)
Permutation groups (4-13 Jun 2003)
Soluble groups (25 May-3 Jun 2004)
FMT homepage in Aachen
Mathematics in the University of Tampere
Helsinki Logic Group
suomeksi