Prof. Dr. Lutz Schröder

(see my home page for more recent activities)

• 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