Invited Speakers
| Lorenzo Alvisi University of Texas Austin, USA Plenary speaker together with QEST 2013 |
Joost-Pieter Katoen RWTH Aachen University, Germany |
| Philippe Schnoebelen LSV, CNRS & ENS de Cachan, France |
Reinhard Wilhelm Saarland University, Germany Plenary speaker together with FORMATS 2013 |
Titles and abstracts will be available in this page soon.