Program Chairs |
Roderick Bloem, Graz University of Technology, Austria Natasha Sharygina, University of Lugano, Switzerland |
|---|---|
Industrial Track Chair |
Cindy Eisner, IBM Haifa Research Labs
Wolfgang Ecker, Infineon |
Tutorial Chair |
Helmut Veith, TU Wien
|
Publication Chair |
Hana Chockler, IBM Haifa Research Labs
|
Panel Chair |
Tom Melham, University of Oxford, UK
|
Local Arrangements |
Mariagiovanna Sami, Umberto Bondi, and Daniela Dimitrova, University of Lugano
Francesco Regazzoni, USI Lugano, and UCL Louvain-la-Neuve (Belgium) |