Prof. Dr. Lutz Schröder

(see my home page for more recent activities)

• 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
• 34th Annual German Conference on Artificial Intelligence (KI 2012), PC member
• International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2012), PC member
• 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
• 4th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2011), PC member
• 33rd Annual German Conference on Artificial Intelligence (KI 2010), area chair
• 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 * [[http://event.cwi.nl/cmcs10/|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