Logic List Mailing Archive

30 years of Finite Model Theory in Finland

21-22 Aug 2022
Espoo, Finland

30 Years of Fi­nite Model The­ory in Fin­land
Hanaholmen, Espoo, Finland, August 21-23, 2022


This international workshop celebrates the past 30 years of active 
research in the area of Finite Model Theory (FMT) in Finland. Research in 
FMT in Finland began due to the joint efforts of Phokion G. Kolaitis and 
Jouko Väänänen in the end of 1980's. Concurrently, while celebrating the 
30 years of FMT in Finland, the workshop aspires to be a venue for 
displaying the current state-of-art of research in FMT globally.

The meeting will consist of three keynote lectures, several contributed 
talks, and plenty of time for collaboration spread over a three day 
period. The workshop aspires for an intimate and relaxed atmosphere in the 
spirit of Dagstuhl seminars. The meeting will take place in a secluded 
conference hotel Hanaholmen on the coast of the Baltic Sea 
(https://www.hanaholmen.fi/en/ <https://www.hanaholmen.fi/en/>). While 
secluded, the hotel is also conveniently located just outside Helsinki 
city center, and can be reached from the main railway station in 20 
minutes using the metro.

Tentative keynote speakers:

Anuj Dawar <https://www.cl.cam.ac.uk/~ad260/> (University of Cambridge)
Phokion G. Kolaitis <https://users.soe.ucsc.edu/~kolaitis/> (University of California Santa Cruz and IBM Research)
Jouko Väänänen <http://www.math.helsinki.fi/logic/people/jouko.vaananen/> (University of Helsinki and University of Amsterdam)

Registration for the workshop will be opened later in the spring at 
but we ask you to indicate your (non-binding) interest to attend and your 
interest in giving a talk by filling the following online form:


Note that the workshop immediately follows the 28th Nordic Congress of 
Mathematics that takes place in Espoo 18-21 August:

https://ncm28.math.aalto.fi/ <https://ncm28.math.aalto.fi/>
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam