BCS is a registered charity: No 292786
Paris, France, 1-2 July 2010
The International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Maghrebian network of researchers in computer science. VECoS 2010 is co-organised by the Conservatoire National des Arts et Métiers and École Nationale Supérieure de Techniques Avancées with cooperation of Méthodes Formelles pour les Systèmes Logiciels et Matériels Group, and sponsored by Formal Methods Europe.
This conference is sponsored by: Formal Methods Europe