Prof. Dr. Lutz Schröder
Professional Activities Until 2014
(see my home page for more recent activities)
- 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
- Advances in Modal Logic 2012, PC member
- International Workshop on Ontology and Semantic web for Manufacturing (OSEMA 2011), Organizing Committee member
- 9th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), PC member