Dr. Sabine Glesner: Professional Activities

Conferences and Workshops:

• Program committee member for the Workshop on Compiler Optimization Meets Compiler Verification (COCV 2005), April 2005.

• Program committee member for the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), April 2005.

• Referee for the following conferences and journals: TPHOLs 2003, Informatik - Forschung und Entwicklung, DATE 2005, Journal of Systems Architecture (JSA), Journal of Information Sciences,

Some Interesting Links:

• A TV interview on the Marktoberdorf Summer School, August 2003 (in german, downloading might take a while).

• Panel discussion about research, academia, and elite in Germany at the third annual meeting of the Emmy Noether-Programm in Potsdam, July 2004.

Memberships:

• Member of the Gesellschaft für Informatik (GI), the german Association for Information and Computer Science

  Member of the Working Group 2.1.4 Programming Languages and Computer Concepts
  Member of the Working Group on Formal Methods and Software Engineering for Safety and Security, (Mitglied im Leitungsgremium seit Juni 2004)