Wednesday, June 22, 2022

[DMANET] CFP: 30 Years Finite Model Theory in Finland: Call for Presentations and Participation (registration until 6 July 2022)

30 Years of Fi­nite Model The­ory in Fin­land
Hanaholmen, Espoo, Finland, August 21-23, 2022
The registration is open until 6 July 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>
We solicit proposals for short presentations fitting the wide topic of the workshop. If you are interested in presenting your work at the workshop, please send a brief email to fmt-30@helsinki.fi <mailto:fmt-30@helsinki.fi> with your proposed title and a short (one paragraph) abstract.


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 Almaden Research Center)
Jouko Väänänen <http://www.math.helsinki.fi/logic/people/jouko.vaananen/> (University of Helsinki and University of Amsterdam)

Registration for the workshop is now open (https://www2.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-finland/registration <https://www2.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-finland/registration>). The registration fee is 250€ covering full board during the workshop but not accommodation. The registration is open until 6 July 2022.

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/>
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************