| No. |
Title |
Author |
Year |
| 1 |
Locality Theorems in Semiring Semantics |
Bizière, Clotilde et al. |
2023 |
| 2 |
Logic and Random Discrete Structures (Dagstuhl Seminar 22061) |
Grädel, Erich et al. |
2022 |
| 3 |
Elementary Equivalence Versus Isomorphism in Semiring Semantics |
Grädel, Erich et al. |
2021 |
| 4 |
Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401) |
Gottlob, Georg et al. |
2021 |
| 5 |
Semiring Provenance for Fixed-Point Logic |
Dannert, Katrin M. et al. |
2021 |
| 6 |
Guarded Teams: The Horizontally Guarded Case |
Grädel, Erich et al. |
2020 |
| 7 |
Approximations of Isomorphism and Logics with Linear-Algebraic Operators |
Dawar, Anuj et al. |
2019 |
| 8 |
Choiceless Logarithmic Space |
Grädel, Erich et al. |
2019 |
| 9 |
Logics for Dependence and Independence (Dagstuhl Seminar 19031) |
Grädel, Erich et al. |
2019 |
| 10 |
Dependency Concepts up to Equivalence |
Grädel, Erich et al. |
2018 |
| 11 |
Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361) |
Dawar, Anuj et al. |
2018 |
| 12 |
Advice Automatic Structures and Uniformly Automatic Classes |
Abu Zaid, Faried et al. |
2017 |
| 13 |
The Model-Theoretic Expressiveness of Propositional Proof Systems |
Grädel, Erich et al. |
2017 |
| 14 |
Counting in Team Semantics |
Grädel, Erich et al. |
2016 |
| 15 |
Logics for Dependence and Independence (Dagstuhl Seminar 15261) |
Grädel, Erich et al. |
2016 |
| 16 |
Rank Logic is Dead, Long Live Rank Logic! |
Grädel, Erich et al. |
2015 |
| 17 |
Banach-Mazur Games with Simple Winning Strategies |
Grädel, Erich et al. |
2012 |
| 18 |
Definability of linear equation systems over groups and rings |
Dawar, Anuj et al. |
2012 |
| 19 |
The Field of Reals is not omega-Automatic |
Abu Zaid, Faried et al. |
2012 |
| 20 |
Model Checking Games for the Quantitative µ-Calculus |
Fischer , Diana et al. |
2008 |
