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

Other Activities
W. Thomas
• Chairman of the senate of RWTH Aachen
• Speaker of the DFG-Research Training Group (Graduiertenkolleg) 1298
“Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme”
• Member of Academia Europaea
• Member of the Editorial Board of the following proceedings series and journals:
◦ Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl
◦ Electronic Proceedings in Theoretical Computer Science (EPTCS)
◦ ACM Transactions on Computational Logic
◦ Logical Methods in Computer Science
◦ RAIRO Theoretical Computer Science and Applications
◦ Discrete Mathematics and Theoretical Computer Science
• Chairman of Section Grundlagen der Informatik of GI (Gesellschaft für Informatik),
and member of the extended executive board of GI
• Member of the Executive Committees of two projects of the ESF (European Research
Foundation): the Research Network AutoMathA (Automata Theory: From
Mathematics to Applications) and the project GASICS (Games in Analysis and
Synthesis of Interactive Computational Systems).
• Member of the Steering Committee for the conference STACS (“Symposium on
Theoretical Aspects of Computer Science”)
• Chairman of the Presburger Award Committee 2010 of EATCS (European Association
of Theoretical Computer Science)
• Member of the program committees of
◦ Workshop on Logical Approaches to Barriers in Computing and Complexity
(Greifswald, 17th-20th February 2010)
◦ LATA 2010 (4th International Conference on Language and Automata Theory and
Applications, Trier, 24th-28th May 2010)
◦ LICS 2010 (24th IEEE Symp. on Logic in Computer Science, Edinburgh, 11th-
14th July 2010)
◦ LPAR-17 (17th International Conference on Logic for Programming, Artificial
intelligence, and Reasoning), Yogyakarta, 10-15 October, 2010)
◦ MFCS 2010 (35th International Symposium on Mathematical Foundations of
Computer Science, Brno, 23rd-27th August, 2010)
◦ RP10 (4th Workshop on Reachability Problems, Brno, 28-29 August 2010)
◦ FSTTCS2010 (30th International Conference on Foundations of Software
Technology and Theoretical Computer Science, Chennai, 15-18 December 2010)
258