FMT30
Last modified by Jonne Iso-Tuisku on 2024/01/26 15:41
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 ( )
- Kerkko Luosto: Applying dimension concepts to team semantics ( )
- Timon Barlag: Logical characterization of algebraic circuits over rings ( )
- Anselm Haak: Enumerating Teams in First-order Team Logics ( )
- Jouko Väänänen: How finite model theory came to Finland and what happened next? ( )
As soon as we get more permissions to share slides, the list will be updated.