Slides
The following list consists of presentations presented at the 30 Years of Finite Model Theory in Finland workshop. The presentations below are shared with the permission of the authors.
- Lauri Hella: The expressive power of CSP quantifiers (pdf)
- Kerkko Luosto: Applying dimension concepts to team semantics (pdf)
- Timon Barlag: Logical characterization of algebraic circuits over rings (pdf)
- Anselm Haak: Enumerating Teams in First-order Team Logics (pdf)
As soon as we get more permissions to share slides, the list will be updated.