IWES 2017 is organised by
MCLab, the
Model Checking laboratory at the Computer Science Department of Sapienza University of Rome in collaboration with the European Association for the Advancement of Science and Technology (EAST).
Workshop Chairs
- Enrico Tronci, Sapienza University of Rome, Italy
- Toni Mancini, Sapienza University of Rome, Italy
Local Organising Committee
- Vadim Alimguzhin, Sapienza University of Rome, Italy
- Francesco Davì, Sapienza University of Rome, Italy
- Michele Laurenti, Sapienza University of Rome, Italy
- Stefano Sinisi, Sapienza University of Rome, Italy
Any enquiries should be sent to iwes2017@easychair.org