Events & Calendar

10th international workshop on evaluation and verification of computer systems
Oct 06, 2016 to Oct 07, 2016

Location : Tunis, Tunisia

VECoS 2016 will be held the 6th-7th October 2016 at the Tunisia Polytechnic School (EPT) that is the main  organizer  together  with  the  support  of  Digital  Research  Center (DRC)  of  Sfax,  MeFoSyLoMa Group and Formal Methods Europe. The International Workshop on Verification and Eval uation of Computer and Communication Systems (VECoS)  was  created  by  an  Euro-Med  network  of  researchers in  computer  science.  Its  first  edition VECoS  2007  took  place  in  Algiers,  VECoS  2008  in  Leeds,  VECoS  2009  in  Rabat,  VECoS  2010  in Paris, VECoS 2011 in Tunis, VECoS 2012 in Paris, VECoS 2013 in Florence, VECoS 2014 in Bejaia,
VECoS 2015 in Bucharest. 

Details ON:

The  aim  of  the  VECoS  workshop  is  to  bring  together
researchers  and  practitioners,  in  the  areas  of verification, control, performance, quality of serv
ice, dependability evaluation and assessment, in order to  discuss  the  state-of-the-art  and  the  challenges in  modern  computer  and  communication  systems  in which functional and non-functional properties are strongly interrelated. Thus, the main motivation for
VECoS  is  to  encourage  the  cross-fertilization  between  the  various  formal  verification  and  evaluation approaches,  methods  and  techniques,  and  especially those  developed  for  concurrent  and  distributed hardware/software systems.

Beyond its technical and scientific goals, another main purpose of VECoS is to promote collaboration between  participants  in  research  and  education  in  the  area  of  computer  science  and  engineering.  We welcome    contributions    describing    original    research, practical    experience    reports    and    tool descriptions/demonstrations  in  the  areas  of  verification,  control,  performance,  quality  of  service  and dependability evaluation.

Organizing Commitee:
Azgal Abichou, EPT, Tunisia , Kamel Barkaoui, CNAM Paris, France , Mohamed Ghazel, IFSTTAR, Lille, France, Mohamed Jmaïel, DRC Sfax, Adel Benzina, EPT, Tunisia.

Eric Badouel, IRISA Rennes, France
Fabio Gaducci, University of Pisa, Italia
Serge Haddad, LSV ENS Cachan, France

Submission and Publication

Contributions must have not been published previously, nor already submitted to other conferences/journals in parallel with this workshop.
 Manuscripts must be submitted electronically in PDF format and should not exceed 15 pages using the Electronic Workshops in Computing (eWiC) format.

Accepted contributions will be included in the workshop proceedings and published online at indexed by DBLP.
Some of the selected papers from the workshop will be considered for publication in extended and revised form in a special issue of the International Journal of Critical Computer-Based Systems (IJCCBS) indexed by Scopus, ACM Digital Library and DBLP
Papers must be submitted electronically, in PDF format, on-line via easychair system:

List of participants to this conference
Oct 06, 2016 to Oct 07, 2016

No participants
Email :