Prof. Dr. Lutz Schröder

s

 

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

• 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
• 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
• DFG project  Spectra of Behavioural Distances and Quantitative Logics (Barbara König, Lutz Schröder) kicked off
• 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
• Behavioural Preorders via Graded Monads (Chase Ford, Stefan Milius, Lutz Schröder) at LICS 2021
• Quasipolynomial Computation of Nested Fixpoints (Daniel Hausmann, Lutz Schröder) at TACAS 2021
• A Quantified Coalgebraic van Benthem Theorem (Paul Wild, Lutz Schröder) at FoSSaCS 2021
• DFG project Reconstructing Arguments from Newsworthy Debates (Stefan Evert, Lutz Schröder) kicked off
• 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
• 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
• 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 CoMoC – Coalgebraic Model Checking (Stefan Milius, Lutz Schröder)
  • DFG Project SpeQT – Spectra of Behavioural Distances and Quantitative Logics (Barbara König, Lutz Schröder)
  • Principal investigator within DFG Research Training Group 2475: Cybercrime and Forensic Computing
  • DFG project RAND – Reconstructing Arguments from Newsworthy Debates (Stefan Evert, Lutz Schröder) within DFG SPP 1999 Robust Argumentation Machines (RATIO)

Recent Professional Activities

• 46th German Conference on Artificial Intelligence, KI 2023, PC member
• 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, Program Committe Board member
• 31st International Joint Conference on Artificial Intelligence, IJCAI-ECAI 2022 Program Committe Board member
• 36h AAAI Conference on Artificial Intelligence, AAAI 2022, PC member
• 45th German Conference on Artificial Intelligence, KI 2022, PC member
• 44th German Conference on Artificial Intelligence, KI 2021, PC member
• 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, PC member
• 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, PC member
• 25th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2022, PC co-chair (jointly with Patricia Bouyer)
• 2016-2022: Co-chair (jointly with Markus Roggenbach) of IFIP WG 1.3 (Foundations of System Specification)
• 30th International Joint Conference on Artificial Intelligence, IJCAI 2021, 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

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)