General Information

• Open Positions / Stellenausschreibungen für Hiwi-Jobs

Highlights

• Demystifying Codensity Monads via Duality (Fabian Lenke, Nico Wittrock, Stefan Milius, Henning Urbat) at STACS 2026
• Henning Urbat joins the Program Committee of MFCS 2026
• Henning Urbat joins the Program Committee of CONCUR 2026
• DFG-ANR Project ATQUA – Advancing the Theory of Quantitative Universal Algebra (Stefan Milius, Henning Urbat) granted
• Well-Founded Coalgebras Meet König’s Lemma (Henning Urbat, Thorsten Wißmann) at CSL 2026
• Higher-Order Behavioural Conformances via Fibrations (Henning Urbat) at POPL 2026
• Best Presentation Award for Terminal Coalgebras for Finitary Functors (Jiří Adámek, Stefan Milius, Lawrence S. Moss) at CALCO 2025
• Best Paper Award for Trees in Coalgebra from Generalized Reachability (Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg) at CALCO 2025
• Algebraic Language Theory with Effects (Fabian Lenke, Stefan Milius, Henning Urbat, Thorsten Wißmann) at ICALP 2025
• Behavioural Conformances based on Lax Couplings (Paul Wild, Lutz Schröder) at LICS 2025
• Relators and Notions of Simulation Revisited (Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild) at LICS 2025
• Conformance Games for Graded Semantics (Jonas Forster, Lutz Schröder, Paul Wild) at LICS 2025
• Alternating Nominal Automata with Name Allocation (Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat) at LICS 2025
• The book Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors (Jiřı́ Adámek, Stefan Milius, Larry Moss) is published by Cambridge University Press.
• Stefan Milius acts as Program Committee cochair of FoSSaCS 2026
• Stefan Milius acts as Program Committee cochair of MFPS 2025
• Stefan Milius joins the Program Committee of LICS 2025
• Henning Urbat joins the Program Committee of ICALP 2025
• Relational Connectors and Heterogeneous Simulations (Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild) at FoSSaCS 2025.
• Identity-Preserving Lax Extensions and Where to Find Them (Sergey Goncharov, Dirk Hofmaan, Pedro Nora, Lutz Schröder, Paul Wild) at STACS 2025
• Quantitative Graded Semantics and Spectra of Behavioural Metrics (Jonas Forster, Lutz Schröder, Paul Wild) at CSL 2025.
• Abstract Operational Methods for Call-by-Push-Value (Sergey Goncharov, Stelios Tsampas, Henning Urbat) at POPL 2025.
• Nominal Tree Automata with Name Allocation (Simon Prucker, Lutz Schröder) at  CONCUR 2024
• Bialgebraic Reasoning on Higher-Order Program Equivalence (Sergey Goncharov, Stefan Milius, Stelios Tsampas, Henning Urbat) at  LICS 2024
• Coalgebraic Satisfiability Checking for Arithmetic mu-Calculi (Daniel Hausmann, Lutz Schröder),  Log. Methods Comput. Sci. 20(3) (2024)
• Expressive Quantale-Valued Logics for Coalgebras (Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild) at STACS 2024
• DFG Project CoRSA – Coalgebraic Reasoning for Quantitative System Analysis (Lutz Schröder) granted
• DFG Project CoNAN – Coalgebraic Nominal Automata with Name Allocation (Stefan Milius, Lutz Schröder) kicked off
• Project DIREGA (Digitaler Registerassistent), funded by Bundesnotarkammer, Landesnotarkammer Bayern and Staatsministerium für Justiz, Bayern (Axel Adrian, Stephanie Evert, Michael Kohlhase, Andreas Meier, Lutz Schröder) kicked off
• Monoidal Extended Stone Duality (Fabian Birkmann, Stefan Milius, Henning Urbat) at FOSSACS 2024
• Logical Predicates in Higher-Order Mathematical Operational Semantics (Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat) at FOSSACS 2024
• Generic Model Checking for Modal Fixpoint Logics in COOL-MC (Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger) at VMCAI 2024
• Lutz Schröder joins the Program Committee of LICS 2024
• Positive Data Languages (Florian Frank, Stefan Milius, Henning Urbat) at MFCS 2023
• Nominal Topology for Data Languages (Fabian Birkmann, Stefan Milius, Henning Urbat) at ICALP 2023
• Action Codes (Frits Vaandrager, Thorsten Wißmann) at ICALP 2023
• Weak Similarity in Higher-Order Mathematical Operational Semantics (Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder) at LICS 2023
• Common Knowledge of Abstract Groups (Merlin Humml, Lutz Schröder) at AAAI 2023
• Towards a Higher-Order Mathematical Operational Semantics (Sergey Goncharov, Stefan Milius, Stelios Tsampas, Lutz Schröder, Henning Urbat) at POPL 2023
• Kantorovich Functors and Characteristic Logics for Behavioural Distances (Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild) at FOSSACS 2023
• COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder) at CADE 2023
• Stateful Structural Operational Semantics (Sergey Goncharov, Stefan Milius, Stelios Tsampas, Lutz Schröder, Henning Urbat) at FSCD 2022
• Graded Monads and Behavioural Equivalence Games (Chase Ford, Harsh Beohar, Barbara König, Stefan Milius, Lutz Schröder) at LICS 2022
• Distributed Coalgebraic Partition Refinement (Fabian Birkmann, Hans-Peter Deifel, Stefan Milius) at TACAS 2022
• DFG project CATHY – Categorical Theory of Automata (Stefan Milius, Henning Urbat), 2022-2025
• Lutz Schröder acts as Program Committee cochair of FoSSaCS 2022
• Stefan Milius joins the Program Committees of MFCS 2022 and FoSSaCS 2023
• Henning Urbat joins the Program Committee of LICS 2022