Finite model theory in Finland
Researchers
Lauri Hella
Taneli Huuskonen
Tapani Hyttinen
Juha Kontinen
Antti Kuusisto
Kerkko Luosto
Markku Niemenmaa
Hannu Niemistö
Juha Nurmonen
Jouko Väänänen
Postgraduate Students
Jonni Virtema
Publications
Old list of publications by Helsinki group
Publications by Tampere logic group according to
DBLP
(
MathSciNet
)
Manuscripts of Tampere group in Arxiv
General
Descriptive complexity theory
by Neil Immerman
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)
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