Invited Talks

• Dines Bjørner, Professor of Computing Science
  Role of Domain Engineering in Software Development
  Why Current Requirements Engineering is Flawed ?
  Abstract
  Slides (pdf)

• Joost Pieter Katoen, RWTH, Aachen University
  Verifying Large --and Infinite-- Markov Chains
  Abstract
  Slides (pdf)

• Franz Wotawa, IST, Graz University of Technology
  The current State of Automated Debugging
  Abstract
  Slides (pdf)