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.

• New DFG-Project A High Level Language for Programming and Specifying Multi-Effect Algorithms (HighMoon II) (Sergey Goncharov, Lutz Schröder) granted
• A Characterization Theorem for a Modal Description Logic (P. Wild, L. Schröder) at IJCAI 2017
• Efficient Coalgebraic Partition Refinement (U. Dorsch, S. Milius, L. Schröder, T. Wißmann) at CONCUR 2017
• Automatic Verification of Application-Tailored OSEK Kernels (H.-P. Deifel, C. Dietrich, M. Göttlinger, D. Lohmann, S. Milius, L. Schröder) at FMCAD 2017
• Ontological Modelling of a Psychiatric Clinical Practice Guideline (D. Gorin, M. Meyn, A. Naumann, M. Polzer, L. Schröder) at KI 2017
• Nominal Automata with Name Binding (L. Schröder, D. Kozen, S. Milius, T. Wißmann) at FOSSACS 2017
• Unifying Guarded and Unguarded Iteration (S. Goncharov, L. Schröder, C. Rauch and M. Pirog) at FOSSACS 2017
• Probabilistic Description Logics for Subjective Uncertainty (V. Gutierrez-Basulto, J. Jung, C. Lutz, L. Schröder) in J. Artif. Intell. Res. (JAIR)
• Program Equivalence is Coinductive (D. Pattinson, L. Schröder) at LICS 2016
• Global Caching for the Alternation-free Coalgebraic mu-Calculus (Daniel Hausmann, Lutz Schröder, Christoph Egger) at CONCUR 2016
• New DFG project Probabilistic Description Logic as a Fragment of Probabilistic First-Order Logic (ProbDL2)
• New DFG project Generic Algorithmic Methods in Modal and Hybrid Logics (GenMod3)
• Get course material for the course on coalgebraic logic by Dirk Pattinson and myself at NASSLLI 2014
• Check out COOL - The Coalgebraic Ontology Logic Reasoner.

• List of publications; DBLP record; Google Scholar profile.
• Research interests:
  • Formal Methods
  • Knowledge Representation
  • Logic in Computer Science
• Current projects:
  • DFG project COAX – Coinduction meets algebra for the axiomatization of system equivalences (Stefan Milius, Lutz Schröder)
  • DFG project GenMod -- Generic algorithms and complexity bounds in coalgebraic modal logic, currently in the second phase (Lutz Schröder)
  • DFG project ProbDL – Probabilistic Description Logic (Carsten Lutz, Lutz Schröder)
  • DFG project HighMoon – A High Level Language for Monad Combination (Lutz Schröder, Sergey Goncharov)

• Member of IFIP WG 1.3 (Foundations of System Specification)
• 16th International Semantic Web Conference (ISWC 2017), PC member
• 40th German Conference on Artificial Intelligence (KI 2017), PC member
• 39th German Conference on Artificial Intelligence (KI 2016), PC member
• 38th German Conference on Artificial Intelligence (KI 2015), PC member
• 32nd Symposium on Theoretical Aspects of Computer Science (STACS 2015), PC member
• 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), PC member
• 37th German Conference on Artificial Intelligence (KI 2014), PC member
• Member of the CMCS (Coalgebraic Methods in Computer Science) steering committee
• Member of the CALCO (Conference on Algebra and Coalgebra in Computer Science) steering committee
• 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013), PC member and chair of CALCO-Tools
• 19th International Symposium on Fundamentals of Computation Theory (FCT 2013), PC member
• 36th German Conference on Artificial Intelligence (KI 2013), PC member
• 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012), PC co-chair
• Less recent activities

• 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)