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 (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)
  • Jouko Väänänen: How finite model theory came to Finland and what happened next? (pdf

As soon as we get more permissions to share slides, the list will be updated.