Workshop Programme |
| Wednesday, 12th September |
| Location: Universiteits bibliotheek C0.07 (Doelenzaal) (see practical information for details) |
|
| Time | Speaker | Title |
| 09:30-09:35 | Opening and Welcome | |
| 09:35-10:35 | Roger Maddux (Invited) | Subcompletions of Atomic Representable Relational Algebras [Abstract] |
| 10:35-10:55 | Coffee break | |
| 10:55-11:35 | Peter Höfner | Towards a Representation Theorem for Coloring Algebra [Abstract] |
| 11:40-12:20 | John Stell | The Relational Foundation of Mathematical Morphology on Hypergraphs [Abstract] |
|
| 12:20-13:45 | Lunch Break | |
|
| 13:45-14:25 | Hitoshi Furusawa | Strict point axiom in Dedekind categories is really strict [Abstract] |
| 14:30-15:10 | Georg Struth | Semigroups for Concurrency [Abstract] |
| 15:10-15:30 | Coffee break | |
| 15:30-16:10 | Szabolcs Mikulas | Validities for Residuated Algebras of Binary Relations [Abstract] |
| 16:15-17:15 | Zoltan Esik (Invited) | The equational theory of fixed points and Kleene
relation algebras [Abstract] |
| 17:15-17:30 | Discussion | |
|
| 17:30 | Drinks | |
|
|
| Thursday, 13th September |
| Location: Universiteits bibliotheek C0.01 (Potgieterzaal) (morning session) |
| Oost Indisch Huis E0.02 (VOC-zaal) (afternoon session) |
|
| Time | Speaker | Title |
| 09:30-10:30 | Marcel Jackson (Invited) | Algebras of functions [Abstract] |
| 10:30-10:50 | Coffee break | |
| 10:50-11:30 | Peter Höfner | Kleene Modules for Routing Procedures [Abstract] |
| 11:35-12:15 | Alasdair Armstrong | A Repository for Lattices and Kleene Algebras in Isabelle/ HOL [Abstract] |
| 12:20-13:00 | Shohei Izawa | Category of Algebras view from Relational Structure Theory [Abstract] |
|
| 13:00-15:00 | Lunch break | |
|
| 15:00-15:40 | Jurriaan Rot | Kleene Algebras and Bisimulation-up-to [Abstract] |
| 15:45-16:45 | Marcello Bonsangue (Invited) | Brzozowski's determinization algorithm (co)algebraically [Abstract] |
| 16:45-17:00 | Discussion | |
|
| 18:00 | Social Dinner | |
|
|
| Friday, 14th September |
| Location: Universiteits bibliotheek C0.07 (Doelenzaal) |
|
| Time | Speaker | Title |
| 09:30-10:30 | Willem Conradie (Invited) | Algebraic semantics for some hybrid logics, and a new Sahlqvist Theorem [Abstract] |
| 10:30-10:50 | Coffee break | |
| 10:50-11:30 | Sumit Sourabh | Order theoretic Correspondence for Intuitionistic Mu-Calculus [Abstract] |
| 11:35-12:15 | Giuseppe Greco | A display-style sequent calculus for Public Announcement Logic [Abstract] |
|
| 12:15-13:45 | Farewell lunch | |
|
|
|
