Invited Speakers
Name: Christel Baier
Affiliation: TU Dresden, Germany
Name: Renato Neves
Affiliation: University of Minho, Portugal
Name: Ina Schaefer
Affiliation: Karlsruhe IT, Germany
Topic: Correctness-by-Construction Engineering - Can we build better software?
Name: Volker Stolz
Affiliation: Norway University of Applied Science, Norway