Thorsten Wißmann

Posters

A list of poster presentations, some at conferences and workshops, some for the purpose of academic outreach:

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)