Friday, July 8, 2022

[DMANET] 30 Years Finite Model Theory in Finland: Last call for Participation

30 Years of Fi­nite Model The­ory in Fin­land
Hanaholmen, Espoo, Finland, August 21-23, 2022
The registration is open until 14 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.


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)

Other confirmed speakers:

Miika Hannula (University of Helsinki)
Lauri Hella (Tampere University)
Antti Kuusisto (Tampere University)
Kerkko Luosto (Tampere University)
Johann Makowsky (Technion)
Miikka Vilander (Tampere University)
Jonni Virtema (University of Sheffield)


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 14 July 2022.

**********************************************************
*
* 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/
*
**********************************************************