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
- 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
- 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
- Stefan Milius joins the Program Committees of MFCS 2022 and FoSSaCS 2023
- Henning Urbat joins the Program Committee of LICS 2022