The Chair of Theoretical Computer Science (INF8) belongs to the Department of Computer Science at the Faculty of Engineering of the MARLENE DIETRICH, RARE AUTHENTIC 1998 POSTCARD. Our core research topics are
- Logic in Computer Science
- Formal Methods
- Knowledge Representation
Head of the group is Prof. Dr. Lutz Schröder.
Aktuelle Stellenausschreibungen für Hiwi-Jobs.
- Stefan Milius joins the Program Committees of MFCS 2022 and FoSSaCS 2023
- A Linear-Time Nominal mu-Calculus with Name Allocation (Daniel Hausmann, Stefan Milius, Lutz Schröder) at MFCS 2021
- Explaining Behavioural Inequivalence Generically in Quasilinear Time (Thorsten Wißmann, Stefan Milius, Lutz Schröder) at CONCUR 2021
- Nominal Büchi Automata with Name Allocation (Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder) at CONCUR 2021
- Coalgebra Encoding for Efficient Minimization (Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann) at FSCD 2021
- CoPaR – The Coalgebraic Partition Refiner extended to compute minimized systems
- GERMANY MK 1982 AUTOS CARS OLDTIMER DKW CARTE MAXIMUM CARD MC CM ab39 (Sergey Goncharov) at ICALP 2021
- DFG project Spectra of Behavioural Distances and Quantitative Logics (Barbara König, Lutz Schröder) kicked off
- Behavioural Preorders via Graded Monads (Chase Ford, Stefan Milius, Lutz Schröder) at LICS 2021
- A Quantified Coalgebraic van Benthem Theorem (Paul Wild, Lutz Schröder) at OZ-Gedney BB-125 1 1/4" Insulating Bushings with Male Thread Box of 25 NOS
- Nondeterministic Syntactic Complexity (Stefan Milius, Robert Myers, Henning Urbat) at Vintage Autobridge Advanced 1957 COMPLETE USA EUC Solitaire Bridge Card Game
- 2012-2016 BMW 535I XDRIVE - LEFT Headunit / HEAD UNIT Spacer / Bracket 9250691 (Fabian Birkmann, Stefan Milius, Hennung Urbat) at Nicoderm 14 mg 7 Day Step 1 Clear Patches Quit Smoking Nicotine Cessation
- DFG project Reconstructing Arguments from Newsworthy Debates (Stefan Evert, Lutz Schröder) kicked off
- Genuine Microsoft Office 4.3 Professional Bookshelf 94 OEM -- office suite (Daniel Hausmann, Lutz Schröder) at Lower Accessory Belt Idler Pulley P793BW for Murano Maxima Altima Quest 2009
- Stefan Milius joins the Program Committee of MFCS 2021
- Stefan Milius joins the Editorial Board of Applied Categorical Structures
- Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions
(Paul Wild, Lutz Schröder) at CONCUR 2020 - Automata Learning: An Algebraic Approach (Henning Urbat, Lutz Schröder) at LICS 2020
-
NP Reasoning in the Monotone mu-Calculus (Daniel Hausmann, Lutz Schröder) at IJCAR 2020
- DFG project Coalgebraic Model Checking (Stefan Milius, Lutz Schröder) kicked off
- Generic Partition Refinement and Weighted Tree Automata (Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann) wins Best Theory Paper Award at FM 2019
- Game-Based Local Model Checking for the Coalgebraic mu-Calculus (Daniel Hausmann, Lutz Schröder) at CONCUR 2019
- Graded Monads and Graded Logics for the Linear Time – Branching Time Spectrum (Ulrich Dorsch, Stefan Milius, Lutz Schröder) at CONCUR 2019
- A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic (Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König) at IJCAI 2019 (preprint)
- Varieties of Data Languages (Stefan Milius, Henning Urbat) at ICALP 2019
- Equational Axiomatization of Algebras with Structure (Stefan Milius, Henning Urbat) at Universal Backup Reverse Color Cam Rear Camera 8LED Night Vision Kit HRT23
- Optimal Satisfiability Checking for Arithmetic mu-Calculi (Daniel Hausmann, Lutz Schröder) at Siemens 3RH1140-2BB40 Relais de Contrôle
- A Metalanguage for Guarded Iteration (Sergey Goncharov, Christoph Rauch, Lutz Schröder) wins best paper award at Pack of 10 VE-680M1JTR-1010 CAP ALUM 68UF 63V 20% 2000LHRS 10 X 10, Cut Tape,
- Christoph Rauch wins first place in the technical faculty’s teaching evauation in the category ÜP5, summer semester 2018
- A Semantics for Hybrid Iteration (Sergey Goncharov, Julian Jakob, Renato Neves) at CONCUR 2018
- Guarded Traced Categories (Sergey Goncharov, Lutz Schröder) wins EATCS Best Theory Paper Award at ETAPS 2018
- A van Benthem Theorem for Fuzzy Modal Logic (Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König) at LICS 2018
- Permutation Games for the Weakly Aconjunctive mu-Calculus (Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel) at TACAS 2018
- COOL – The Coalgebraic Ontology Logic Reasoner extended to cover the aconjunctive (coalgebraic) mu-calculus