Prof. Dr. Lutz Schröder

I have moved to the Department of Computer Science of the Friedrich-Alexander-Universität Erlangen-Nürnberg, where I now hold the Chair for Theoretical Computer Science. These pages will soon be relocated.

• A short CV

Highlights

• Project SIMPLE Semantically founded implementation of clinical practice guidelines (joint with ID Berlin) kicked off
• Project FormalCAD Formal Methods and Semantic Technologies for Engineering Design Processes (joint with Michael Kohlhase) approved by DFG
• More coalgebra at IJCAI 2011: Lutz Schröder and Dirk Pattinson, Description logics and fuzzy probability (talk and poster)
• Paper Powermonads and tensors of unranked effects (with Sergey Goncharov) at LICS 2011 (Preprint avaiable on CoRR)
• Paper on formalization of industrial standards at FASE 2011
• Start thinking now about your submission to CMCS 2012 (LNCS proceedings confirmed by Springer)
• Recent papers at CONCUR 2010, KR 2010, IJCAR 2010, ECAI 2010
• Verification of CAD objects at FM 09: preprint Formal management of CAD/CAM processes (with Michael Kohlhase, Johannes Lemburg, and Ewaryst Schulz), slides available.
• Get the final version of Cut elimination in coalgebraic logics (with Dirk Pattinson), to appear in Inform. Comput.
• Coalgebra at IJCAI-09: Nominals for everyone (with Dirk Pattinson and Clemens Kupke)
• Check out the Coalgebraic Logic Satisfiability Solver (CoLoSS)

Research

• Publications: by year or sorted into journal and conference papers; DBLP record.
  Although I'm all in favour of giving quality priority over quantity in writing papers, I do appear on the list of most prolific DBLP authors.
• Summary of the papers constituting my cumulative habilitation thesis
  Higher order and reactive algebraic specification and development [PDF] [PS]
• Research interests:
  • Formal Methods
  • Knowledge Representation
  • Logic in Computer Science
• BMBF-funded project SIMPLE -- Semantically founded implementation of clinical practice guidelines
  (Lutz Schröder, Dieter Hutter, Regine Wolters, ID Berlin, klinische Partner)
• BMBF-funded project SHIP -- Semantic Heterogeneous Integration of Processes
  (Bernd Krieg-Brückner, Serge Autexier, Dieter Hutter, Christoph Lüth, Till Mossakowski, Lutz Schröder)
• BMBF-funded project FormalSafe -- Formal Development for Safe Robotics
  (Bernd Krieg-Brückner, Dieter Hutter, Michael Kohlhase, Christoph Lüth, Till Mossakowski, Lutz Schröder, Werner Stephan)
• DFG-funded project GenMod -- Generic algorithms and complexity bounds in coalgebraic modal logic, currently in the second phase
  (Lutz Schröder)
• DFG-funded project PLB -- A Construction Kit for Program Logics
  (Christoph Lüth and Lutz Schröder)
• DFG-funded project HasCASL
  (Till Mossakowski, Bernd Krieg-Brückner) -
  algebraic specification + functional programming = environment for formal software development.
• FNK-funded project HOL-MDL -- Monadic computational logics in HOL
  (Lutz Schröder)
  

My Group

• Postdoctoral researcher in DFG project ProbDL: Sergey Goncharov
• Postdoctoral researcher in DFG project GenMod: Daniel Gorín
• Postdoctoral researcher in BMBF project SIMPLE: Regine Wolters
• PhD students:
  • Daniel Hausmann
  • Ewaryst Schulz

Professional Activities

• Member of IFIP WG 1.3 (Foundations of System Specification)
• 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012), PC co-chair and member of the steering committee
• Advances in Modal Logic 2012, PC member
• International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2011), PC member
• 34th Annual German Conference on Artificial Intelligence (KI 2011), PC member
• International Workshop on Ontology and Semantic web for Manufacturing (OSEMA 2011), Organizing Committee member
• 33rd Annual German Conference on Artificial Intelligence (KI 2010), area chair
• 4th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2011), PC member
• 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), PC member
• 13th International Conference on Algebraic Methodology And Software Technology (AMAST 2010), PC member
• 10th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), PC member
• 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009), PC member
• 3rd International Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), PC member
• 12th International Conference on Algebraic Methodology And Software Technology (AMAST 2010), PC member
• 9th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), PC member

Talks

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

Teaching

 
E-mail:  user Lutz.Schroeder, domain cs.fau.de
Phone:   +49 421 218-64216
Fax:     +49 421 218-9864216
Office in Bremen:  Cartesium 02.0051