| No. |
Title |
Author |
Year |
| 1 |
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity |
Różowski, Wojciech et al. |
2023 |
| 2 |
Algebraic Complexity and Parallelism (Dagstuhl Seminar 9230) |
von zur Gathen, Joachim et al. |
2021 |
| 3 |
Applications of Kleene Algebra (Dagstuhl Seminar 01081) |
Backhouse, Roland C. et al. |
2021 |
| 4 |
Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743) |
Comon, Hubert et al. |
2021 |
| 5 |
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness |
Schmid, Todd et al. |
2021 |
| 6 |
The Ackermann Award 2018 |
Kozen, Dexter et al. |
2018 |
| 7 |
The Ackermann Award 2015 |
Dawar, Anuj et al. |
2015 |
| 8 |
Kleene Algebra with Products and Iteration Theories |
Kozen, Dexter et al. |
2013 |
