No. |
Title |
Author |
Year |
---|

1 |
Algebraic Complexity and Parallelism (Dagstuhl Seminar 9230) |
von zur Gathen, Joachim et al. |
2021 |

2 |
Applications of Kleene Algebra (Dagstuhl Seminar 01081) |
Backhouse, Roland C. et al. |
2021 |

3 |
Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743) |
Comon, Hubert et al. |
2021 |

4 |
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness |
Schmid, Todd et al. |
2021 |

5 |
The Ackermann Award 2018 |
Kozen, Dexter et al. |
2018 |

6 |
The Ackermann Award 2015 |
Dawar, Anuj et al. |
2015 |

7 |
Kleene Algebra with Products and Iteration Theories |
Kozen, Dexter et al. |
2013 |