Prof. Dr. Lutz Schröder

Lutz Schröder is the head of the Chair of Computer Science 8 (Theoretical Computer Science) at the Department of Computer Science of the Friedrich-Alexander-Universität Erlangen-Nürnberg.
E-mail: | user Lutz.Schroeder, domain fau.de |
Phone: | +49 9131 85-64059 |
Fax: | +49-9131-85-64055 |
Office: | Martensstr. 3, 91058 Erlangen, Room 11.159 |
Highlights
- 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
- Best Theory Paper Award at FM 2019 for Generic Partition Refinement and Weighted Tree Automata (Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann)
- 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)
- Optimal Satisfiability Checking for Arithmetic mu-Calculi (Daniel Hausmann, Lutz Schröder) at FoSSaCS 2019
- A Metalanguage for Guarded Iteration (Sergey Goncharov, Christoph Rauch, Lutz Schröder) wins best paper award at ICTAC 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
- New DFG-Project Reconstructing Arguments From Noisy Text (RANT) (Stefan Evert, Lutz Schröder, in DFG SPP 1999 Robust Argumentation Machines (RATIO)) kicked off
- New DFG-Project A High Level Language for Programming and Specifying Multi-Effect Algorithms (HighMoon II) (Sergey Goncharov, Lutz Schröder) kicked off
- Completeness of Flat Coalgebraic Fixpoint Logics (L. Schröder, Y. Venema) in ACM TOCL (preprint)
- Check out COOL – The Coalgebraic Ontology Logic Reasoner.
Research
- List of publications; DBLP record; Google Scholar profile.
- Research interests:
- Formal Methods
- Knowledge Representation
- Logic in Computer Science
- Current projects:
- DFG project COAX2 – Coinduction meets algebra for the axiomatization of system equivalences (Stefan Milius, Lutz Schröder)
- DFG project GenMod3 – Generic algorithms and complexity bounds in coalgebraic modal logic (Lutz Schröder)
- DFG project ProbDL2 – Probabilistic Description Logic (Lutz Schröder)
- DFG project HighMoon2 – A High Level Language for Monad Combination (Lutz Schröder, Sergey Goncharov)
- DFG project RANT – Reconstructing Arguments from Noisy Text (Stefan Evert, Lutz Schröder) within DFG SPP 1999 Robust Argumentation Machines (RATIO)
Professional Activities
- Co-chair (jointly with Markus Roggenbach) of IFIP WG 1.3 (Foundations of System Specification)
- 23rd International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2022, PC co-chair
- 30th International Joint Conference on Artificial Intelligence, IJCAI 2021, Senior PC member
- 35th AAAI Conference on Artificial Intelligence, AAAI 2021, PC member
- 31st International Conference on Concurrency Theory, CONCUR 2020, PC member
- 21st International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2020, PC member
- 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, PC member
- 34th AAAI Conference on Artificial Intelligence, AAAI 2020, PC member
- 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), PC member
- 43nd German Conference on Artificial Intelligence (KI 2020), PC member
- 46th International Colloquium on Automata, Languages and Programming (ICALP 2019), Track B PC member
- 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), PC member
- 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), PC member
- 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), PC member
- The Web Conference (TheWebConf 2019), research track PC member
- 13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), PC member
- 42nd German Conference on Artificial Intelligence (KI 2019), PC member
- 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI/ECAI 2018), PC member
- 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018), PC member
- 17th International Semantic Web Conference (ISWC 2018), PC member
- The Web Conference (WWW 2018), research track PC member and journal track PC member
- 41st German Conference on Artificial Intelligence (KI 2018), PC member
- 24th International Workshop on Algebraic Development Techniques (WADT 2018), PC member
- 16th International Semantic Web Conference (ISWC 2017), PC member
- 40th German Conference on Artificial Intelligence (KI 2017), PC member
- Less recent activities
Slides of Selected Talks
- Invited talk on Coalgebraic Annonucement Logics at the MFPS-LICS 2013 special session on coalgebra
- Invited tutorial Coalgebra and Coalgebraic Logics at ALCOP 2011 (2nd International Symposium Algebra and Coalgebra meet Proof Theory, Bern, April 2011)
- Invited talk Coalgebraic Logics in Artificial Intelligence and Reactive Systems at TACL 2009 (4th Conference on Topology, Algebra and Categories in Logic, Amsterdam, July 2009)