General Information

• Open Positions / Stellenausschreibungen für Hiwi-Jobs

Highlights

• Threshold-Based Behavioural Distances (Jonas Forster, Lutz Schröder, Paul Wild, Barbara König, Pedro Nora) at CONCUR 2026
• Graded Semantics of Nominal Systems (Hannes Schulze, Lutz Schröder, Üsame Cengiz) at CONCUR 2026
• Towards a Higher-Order Bialgebraic Denotational Semantics (Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, Stefano Volpe) at ICFP 2026
• A Unified Treatment of the Substitution Tensor for Presheaves, Nominal Sets, Renaming Sets, and so on (Fabian Lenke, Stefan Milius, Henning Urbat) at LICS 2026
• The Algebra of Iterative Constructions (Kevin Batz, Benjamin Lucien Kaminski, Lukas Kehrer, Gerwin Klein, Henning Urbat, Todd Schmid) at LICS 2026
• DFG Project SpeQT2 – Spectra of Behavioural Distances and Quantitative Logics (Barbara König, Lutz Schröder) kicked off
• Intrinsically Correct Algorithms and Recursive Coalgebras (Cass Alexandru, Henning Urbat, Thorsten Wißmann) at PLDI 2026
• Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich (Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster) at FoSSaCS 2026
• DFG Project CoMoC2 – Coalgebraic Model Checking (Stefan Milius, Lutz Schröder) kicked off
• Stefan Milius joins the Program Committee of STACS 2027
• Henning Urbat and Lutz Schröder join the Program Committee of FOSSACS 2027
• Thorsten Wißmann joins the Program Committees of LICS 2026, MFPS 2026, and ICTAC 2026
• 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
• Lutz Schröder joins the Program Committee of IJCAR 2026
• Lutz Schröder joins the Program Committee of CSL 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
• Non-Expansive Fuzzy ALC (Stefan Gebhart, Lutz Schröder, Paul Wild) at IJCAI 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, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing) 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) kicked off
• 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