VECoS 2018 - 12th International Conference on Verification and Evaluation of Computer and Communication Systems

VECoS 2018
12th International Conference on Verification and Evaluation of
Computer and Communication Systems
Grenoble, France, September 26-28, 2018
https://vecos.ensta-paristech.fr/2018/
---
VECoS is focused on formal approaches, methods and techniques for the
verification and evaluation of concurrent and distributed systems,
considering both their hardware and software aspects.
INVITED SPEAKERS
Parosh Aziz Abdulla (Uppsala University, Sweden)
"Replacing Store Buffers by Load Buffers in Total Store Ordering"
Axel Legay (Inria Rennes, France)
"Fault injection, from software to hardware and reversed"
Alexandra Silva (University College London, UK)
"Automated Black-box verification of Networking Systems"
VENUE
The VECoS 2018 conference will be held in the auditorium of the IMAG
building on the Saint-Matin d'Hères campus of the University of
Grenobles Alpes.
First-class museums, full of history castle, and unique places that
reflect the city's desire to always surprise and innovate; Grenoble
has been successfully reinventing itself for more than two centuries,
often leading the way for cultural, social, and industrial trends.
(https://www.grenoble-tourisme.com/en/)