Wiki source code of FMT30

Last modified by Jonne Iso-Tuisku on 2024/01/26 15:41

Hide last authors
Jonne Iso-Tuisku 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
Jonne Iso-Tuisku 3.1 7 * Lauri Hella: The expressive power of CSP quantifiers (**[[pdf>>attach:FMT30-Talk-22_Lauri_Hella.pdf]]**)
Jonne Iso-Tuisku 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.