Wiki source code of FMT30
Last modified by Jonne Iso-Tuisku on 2024/01/26 15:41
Hide last authors
author | version | line-number | content |
---|---|---|---|
1.1 | 1 | ||
2 | |||
3 | === Slides === | ||
4 | |||
5 | The following list consists of presentations presented at the **[[30 Years of Finite Model Theory in Finland>>url:https://www2.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-finland||shape="rect"]]** workshop. The presentations below are shared with the permission of the authors. | ||
6 | |||
3.1 | 7 | * Lauri Hella: The expressive power of CSP quantifiers (**[[pdf>>attach:FMT30-Talk-22_Lauri_Hella.pdf]]**) | |
1.1 | 8 | * Kerkko Luosto: Applying dimension concepts to team semantics (**[[pdf>>attach:dim-30FMTF_Kerkko_Luosto.pdf]]**) | |
9 | * Timon Barlag: Logical characterization of algebraic circuits over rings (**[[pdf>>attach:Talk_30YFMT_Helsinki_Timon_Barlag.pdf]]**) | ||
10 | * Anselm Haak: Enumerating Teams in First-order Team Logics (**[[pdf>>attach:30y-fmt-anselm-haak-slides.pdf]]**) | ||
11 | * Jouko Väänänen: How finite model theory came to Finland and what happened next? (**[[pdf>>attach:FMT30_Jouko_Vaananen.pdf]]**) | ||
12 | |||
13 | As soon as we get more permissions to share slides, the list will be updated. |