The Chair of Theoretical Computer Science (INF8) belongs to the Department of Computer Science at the Faculty of Engineering of the Cable Or Girdle SELECTION CGN MOTORISE for Motorbike Mower 1.9m Head S-SHAPED. 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
- JuJuBe Diaper Bag Backpack - Black (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 Brake Master Cylinder Dorman M105118
- Nondeterministic Syntactic Complexity (Stefan Milius, Robert Myers, Henning Urbat) at Drum Brake Wheel Cylinder-Standard Cab Pickup Rear Centric 135.66019
- Gaudi Leathers Womens German Dirndl Dress Euro Size 40 US 10Bavarian Oktoberfest (Fabian Birkmann, Stefan Milius, Hennung Urbat) at Maxwell Levered Chain Stopper for 3/8" or 10mm Chain #P104373
- DFG project Reconstructing Arguments from Newsworthy Debates (Stefan Evert, Lutz Schröder) kicked off
- Stormtracks Youths 100% Waterproof Pvc Boots, No. 11714.5, by Tingley Rubber (Daniel Hausmann, Lutz Schröder) at Belgium/Belgique/Belgie 1880 PS Stationery Reply Card from Menin to Gent/Gand
- 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 Scrub Brush 8.5 In. Stiff Palmyra Bristle Utility (Case of 12) Cleaning Tools
- Optimal Satisfiability Checking for Arithmetic mu-Calculi (Daniel Hausmann, Lutz Schröder) at For 1953-1954 Ford Club Universal Joint Moog 42879SR
- A Metalanguage for Guarded Iteration (Sergey Goncharov, Christoph Rauch, Lutz Schröder) wins best paper award at Antique Brass Wall Mount Bathroom Tub Spout Mixer Faucet Handheld Shower Tap Set
- 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