Chair of Theoretical Computer Science – INF8
The Chair of Theoretical Computer Science (INF8) belongs to the Department of Computer Science at the Faculty of Engineering of the Friedrich-Alexander-Universität Erlangen-Nürnberg. Our core research topics are
- Logic in Computer Science
- Formal Methods
- Knowledge Representation
Head of the group is Prof. Dr. Lutz Schröder.
Aktuelles für Student(inn)en
Stellenausschreibungen für Hiwi-Jobs
Highlights
- 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