Annual Report 2010 - Fachgruppe Informatik an der RWTH Aachen ...

• Member of the Evaluation Committee of ILLC (Institute of Language, Logic, and
Computation), University of Amsterdam
• Member of Conseil Scientifique d’ Ecole Normale Superieure de Cachan
• Member of Aachen Competence Center for History of Science
W. Oberschelp
• Member of the interdisciplinary working group “Karolingisches Aachen” at the
RWTH Aachen
• Member of Aachen Competence Center for History of Science
C. Löding
• Student Advisor for Teachers’ Curricula and for the subject “Computer Science” in
the Curriculum of “Technical Communication”
• Member of Progamme Committees:
◦ Summer School MoVEP (Modelling and Verification of Parallel Processes),
Aachen, June-July 2010 (Chair)
◦ CloDeM 2010 (FloC Workshop on Comparing Logical Decision Methods,
Edinburgh, July 15, 2010)
◦ GandALF 2010 (First International Symposium on Games, Automata, Logics and
Formal Verification, Minori, Italy, June 17-18, 2010)
◦ CSL 2010 (19th EACSL Annual Conference on Computer Science Logic, Brno,
Czech Republic, August 23–27, 2010)
259