Wiki source code of FMT30
Last modified by Jonne Iso-Tuisku on 2024/01/26 15:41
Show last authors
| author | version | line-number | content |
|---|---|---|---|
| 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 | |||
| 7 | * Lauri Hella: The expressive power of CSP quantifiers (**[[pdf>>attach:FMT30-Talk-22_Lauri_Hella.pdf]]**) | ||
| 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. |