All times are in Tallinn Local Time, (GMT+3).
| Time | Event |
|---|---|
| 09:00 - 09:05 | Opening remarks |
| 09:05 - 10:00 | Invited talk: Karolina Lehtinen - Where Büchi meets Parity |
| 10:00 - 10:30 | Coffee break |
| 10:30 - 11:00 | Vincent Moreau - A Fibrational Approach to Regular Languages of λ-terms (slides) |
| 11:00 - 11:30 | Kazuki Watanabe - A Categorical Approach to Compositional Probabilistic Model Checking |
| 11:30 - 12:00 | Noam Zeilberger - The Free Bifibration over a Functor (slides) |
| 12:00 - 12:30 | Matt Earnshaw - Context-Free Languages of String Diagrams (slides) |
| 12:30 - 14:05 | Lunch |
| 14:05 - 15:00 | Invited talk: Tarmo Uustalu - Sweedler Theory of Monads (slides) |
| 15:00 - 15:30 | Thomas Seiller - Unifying algebraic lower bounds, semantically |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 16:30 | Amirhossein Akbar Tabatabai - Predicativism, Universality and Low-Complexity Computation (slides) |
| 16:30 - 17:00 | Peter Hines - What is special about the 13th Permutoassociahedron? |
Abstracts
Abstracts of all talks can be found in the book of abstracts.
