Posters
Slides of Talks
A list of talks at seminars, international conferences and workshops, with the links to the slides of my presentation:
07/2024 | 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024 in Tallinn: Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (Slides) |
07/2023 | 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023) in Paderborn: Action Codes (Slides) |
06/2023 | Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) in Bloomington/Online: Bisimilar States in Uncertain Structures (Slides) |
05/2023 | 45th International Conference on Software Engineering (ICSE 2023) in Melbourne, Australia, Invited Talk: Generic Partition Refinement and Weighted Tree Automata (Slides) |
02/2023 | Logic Mentoring Workshop 2023 in Warsaw, Poland, Invited Talk: Introduction to Coalgebra (Slides) |
02/2023 | CSL'23 in Warsaw, Poland: Supported Sets (Slides) |
04/2022 | CMCS'22 in Munich, Germany: Supported Sets (Slides) |
11/2021 | Tag der Technischen Fakultät, Science Slam in Erlangen, Germany: Koalgebraische Minimierung (Slides) |
09/2021 | 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) in Salzburg, Austria: Minimality Notions via Factorization Systems (Slides) |
08/2021 | 32nd International Conference on Concurrency Theory (CONCUR 2021) in Paris, France: Explaining Behavioural Inequivalence Generically in Quasilinear Time (Slides) |
02/2021 | CS Theory Seminar (TSEM) in Tallinn: Generic and Efficient Coalgebraic Partition Refinement (Slides) |
03/2020 | D-CON 2020 in Duisburg: Generic and Efficient Partition Refinement (Slides) |
04/2019 | International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019) in Prague: Path Category for Free -- Open Morphisms from Coalgebras (Slides) |
09/2018 | Highlights of Logic, Games and Automata in Berlin: Efficient and Modular Coalgebraic Partition Refinement (Slides) |
03/2018 | ERATO MMSD Colloquium in Tokyo: Efficient Coalgebraic Partition Refinement (Slides) |
09/2017 | International Conference on Concurrency Theory (CONCUR 2017) in Berlin: Efficient Coalgebraic Partition Refinement (Slides) |
06/2017 | CALCO Early Ideas in Ljubljana: An Efficient Coalgebraic Paige Tarjan Algorithm (Slides) |
04/2016 | International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016) in Eindhoven: A New Foundation for Finitary Corecursion (Slides) |
04/2016 | International Workshop on Coalgebraic Methods in Computer Science (CMCS 2016) in Eindhoven: Regular Behaviours with Names (Slides) |
06/2015 | Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) in Nijmegen: Finitary Corecursion for the Infinitary λ-Calculus (Slides) |
06/2015 | CALCO Early Ideas (Workshop während CALCO) in Nijmegen: The Locally Finite Fixpoint (Slides) |
07/2013 | International Workshop on Description Logics (DL 2013) in Ulm: Reasoning With Bounded Self-Reference Using Logical Interpreters (Slides) |