Posters
Talks
| 02/2023 | Logic Mentoring Workshop 2023 in Warsaw, Poland, Invited Talk: Introduction to Coalgebra |
| 02/2023 | CSL'23 in Warsaw, Poland: Supported Sets |
| 04/2022 | CMCS'22 in Munich, Germany: Supported Sets |
| 11/2021 | Tag der Technischen Fakultät, Science Slam in Erlangen, Germany: Koalgebraische Minimierung |
| 09/2021 | 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) in Salzburg, Austria: Minimality Notions via Factorization Systems |
| 08/2021 | 32nd International Conference on Concurrency Theory (CONCUR 2021) in Paris, France: Explaining Behavioural Inequivalence Generically in Quasilinear Time |
| 02/2021 | CS Theory Seminar (TSEM) in Tallinn: Generic and Efficient Coalgebraic Partition Refinement |
| 03/2020 | D-CON 2020 in Duisburg: Generic and Efficient Partition Refinement |
| 04/2019 | International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019) in Prague: Path Category for Free -- Open Morphisms from Coalgebras |
| 09/2018 | Highlights of Logic, Games and Automata in Berlin: Efficient and Modular Coalgebraic Partition Refinement |
| 03/2018 | ERATO MMSD Colloquium in Tokyo: Efficient Coalgebraic Partition Refinement |
| 09/2017 | International Conference on Concurrency Theory (CONCUR 2017) in Berlin: Efficient Coalgebraic Partition Refinement |
| 06/2017 | CALCO Early Ideas in Ljubljana: An Efficient Coalgebraic Paige Tarjan Algorithm |
| 04/2016 | International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016) in Eindhoven: A New Foundation for Finitary Corecursion |
| 04/2016 | International Workshop on Coalgebraic Methods in Computer Science (CMCS 2016) in Eindhoven: Regular Behaviours with Names |
| 06/2015 | Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) in Nijmegen: Finitary Corecursion for the Infinitary λ-Calculus |
| 06/2015 | CALCO Early Ideas (Workshop während CALCO) in Nijmegen: The Locally Finite Fixpoint |
| 07/2013 | International Workshop on Description Logics (DL 2013) in Ulm: Reasoning With Bounded Self-Reference Using Logical Interpreters |