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)