Skip to end of metadata
Go to start of metadata


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.

  • No labels