21-22 Aug 2022
Espoo, Finland
30 Years of Finite Model Theory in Finland Hanaholmen, Espoo, Finland, August 21-23, 2022 https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-finland <https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-finland> 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 https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-finland/registration <https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-finland/registration> 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: https://elomake.helsinki.fi/lomakkeet/113998/lomake.html <https://elomake.helsinki.fi/lomakkeet/113998/lomake.html> 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 http://www.dvmlg.de/mailingliste.html 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