Other

  • Invited to Dagstuhl Seminar "Model-based Testing in Practice"
    • 17.10.10 - 22.10.10, Seminar 1042117
    • Organizers
      • Wolfgang Grieskamp (Microsoft Corp. - Redmond, US)
      • Robert M. Hierons (Brunel University, GB)
      • Alexander Pretschner (KIT - Karlsruhe Institute of Technology, DE)
  • Invited to Dagstuhl Seminar "Theory and Applications of Abstract State Machines"
    • 03.03.02 - 08.03.02, Seminar 02101
    • Organizers
      • A. Blass (Univ. of Michigan, Ann Arbor MI, USA)
      • E. Börger (Univ. di Pisa, Italy)
      • Y. Gurevich (Microsoft Research, Redmond WA, USA)
  • Participant International Summer School Marktoberdorf, "Proofs and Calculations", Marktoberdorf, Germany, July 28 - August 9, 1998
    • Lectures
      • Manfred Broy: Towards a Logical Basis for Systems Engineering
      • Patrick Cousot: Abstract Interpretation
      • Edsger W. Dijkstra: Proofs and Calculations
      • C. A. R. Hoare: Unifying Theories of Programming
      • Leslie Lamport: Concurrency
      • Jayadev Misra: A discipline of Multiprogramming
      • John C. Mitchell: Formal Methods and Computer Security
      • Bernhard Möller: Algebraic Structures for Program Calculation
      • Joseph Sifakis: Modeling Timed and Hybrid Systems
      • Douglas R. Smith: Mechanizing the Development of Software
      • Fabio Somenzi: Binary Decision Diagrams
      • Pamela Zave: Formal Methods for Specification and Verification of Telecommunications Services