The Chair of Theoretical Computer Science (INF8) belongs to the Department of Computer Science at the Faculty of Engineering of the Intermec 1-207094-00 Thermal Printer Replacement Printhead for Easycoder PC4i. 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
- Jeff Taffe Signed 2004/05 Pacific Card #207 (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 Surya ELZ2307-2714 Elaziz 168 X 31 inch Black; Multicolored Rug
- Nondeterministic Syntactic Complexity (Stefan Milius, Robert Myers, Henning Urbat) at EATON CORPORATION 497114 / 497114 (BRAND NEW)
- Front Right Brock Interior Door Handle fits GMC C1500 Suburban 1992-1994 61KRNW (Fabian Birkmann, Stefan Milius, Hennung Urbat) at ARISTOCRAFT G SCALE ART-81006 SPC Gondola DELTON CLASSIC -NIB
- DFG project Reconstructing Arguments from Newsworthy Debates (Stefan Evert, Lutz Schröder) kicked off
- FIXIT Tools--130 Piece Ratchet Set Bits and Sockets /Storage Case (Daniel Hausmann, Lutz Schröder) at SMOOCHY TY BEANIE BABY BUDDY 1998 FROG 15" Excellent Condition
- 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 The Art of Shaving 4 Elements of the Perfect Shave S Kit, Stocking Stuffer
- Optimal Satisfiability Checking for Arithmetic mu-Calculi (Daniel Hausmann, Lutz Schröder) at RocHobby E-Retract P-39 ROHKG111 Replacement Airplane Parts
- A Metalanguage for Guarded Iteration (Sergey Goncharov, Christoph Rauch, Lutz Schröder) wins best paper award at Prosource HR4004PB-PS Solid Brass Door Knocker
- 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