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

• Participant of the Workshop on Logics for Component Configuration (LoCoCo '10), Edinburgh,
UK, July 2010
• Participant of the 21 st International Conference on Rewriting Techniques and
Applications (RTA '10), Edinburgh, UK, July 2010
• Participant of the 11 th International Workshop on Termination (WST '10), Edinburgh,
UK, July 2010
• Reviewer for international conferences
F. Emmes:
• Participant of the TeReSe Workshops in Utrecht (November 2009) and Aachen (May
2010)
• Reviewer for many international journals and conferences
C. Fuhs:
• Proceedings editor and participant of the Dagstuhl-Seminar on Interaction versus Automation:
The two Faces of Deduction, October 2009
• Participant of the Deduktionstreffen der GI-Fachgruppe Deduktionssysteme, Jacobs
University Bremen, Germany, October 2009
• Research visit at the University of Innsbruck, Austria, October-November 2009
• Participant of the TeReSe Workshop in Utrecht, The Netherlands, November 2009
• Research visit at the University of Southern Denmark, Odense, Denmark, February 2010
• Research visit (funded by GIF) at the Ben-Gurion University, Beer-Sheva, Israel, March
2010
• Organizer and participant of the TeReSe Workshop in Aachen (May 2010)
• Research visit at the University of Southern Denmark, Odense, Denmark, June 2010
• Participant of the Workshop on Pragmatics of SAT (POS '10), Edinburgh, UK, July 2010
• Participant of the 13 th International Conference on Theory and Applications of
Satisfiability Testing (SAT '10), Edinburgh, UK, July 2010
• Participant of the 11 th International Workshop on Termination (WST '10), Edinburgh,
UK, July 2010
• Participant of the 5 th International Joint Conference on Automated Reasoning (IJCAR
'10), Edinburgh, UK, July 2010
• Participant of the Workshop on Synthesis, Verification, and Analysis of Rich Models
(SVARM '10), Edinburgh, UK, July 2010
• Participant of the Deduktionstreffen der GI-Fachgruppe Deduktionssysteme, Karlsruhe
Institute of Technology, Germany, September 2010
• Editor of the Department of Computer Science Technical Reports of RWTH Aachen
• Reviewer for many international journals and conferences
111