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. The aim of the VECoS workshop is to bring together researchers and practitioners, in the areas of verification, control, performance, quality of service, 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 based on the specification formalisms for concurrent, distributed and software/hardware 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.

The next edition of VECoS


Venue : Tunisia Polytechnic School

General Co-chairs :
Abichou Azgal, LIM, EPT, Tunisia
Kamel Barkaoui, Cedric-CNAM , Paris, France

PC Co-chairs :
Mohamed Ghazel, IFSTTAR, Lille France
Mohamed Jmaïel, DRC & ReDCad, Sfax , Tunisia

Invited speakers :
Eric Badouel, SUMO, IRISA Rennes, France
Serge Haddad, LSV, ENS Cachan, France

The previous editions of VECoS


  • VECoS 2015, September 10-11, 2015 Bucharest, Romania
Venue : University Politehnica of Bucharest

PC Co-chairs :
Belgacem Ben Hedia, LIST-CEA, Saclay
Florin Popentiu Vladicescu, University of Oradea

Invited speakers :
Liliana Cucu-Grosjean, Aoste, Inria Paris-Rocquencourt, France
Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Mohamed Kaâniche, LAAS, Toulouse, France
  • VECoS 2014, September 29-30, 2014 Bejaia, Algeria
  • Venue : University of Bejaïa
    PC Co-chairs :
    Hassane Alla, Gipsa, Univ Grenoble,
    Louiza Bouallouche-Medjkoune, LAMOS, Bejaia University, Algeria (co-chair)
    Invited speakers :
    Saddek Bensalem, University Joseph Fourier, Verimag Lab, France
    Bernd Heidergott, VU Amsterdam University, the Netherlands
    Carla Seatzu, University of Cagliari, Italy

  • VECoS 2013, November 21-22, 2013 Florence, Italy
  • Venue : Università di Firenze
    PC Co-chairs :
    Hanifa Boucheneb, École Polytechnique de Montréal, Canada
    Francesco Flammini, Ansaldo STS, Italy
    Invited speakers :
    Karama Kanoun, LAAS-CNRS, Toulouse, France
    Roberto Bruni, Computer Science Department, University of Pisa, Italy
    Michaël Rusinowitch, LORIA-INRIA-Lorraine, Nancy, France

  • VECoS 2012, August 27-28, 2012 Paris, France
  • Venue : Le Cnam, Paris
    PC Co-chairs :
    Nejib Ben Hadj-Alouane, ENIT Tunis, Tunisia
    Patrice Moreaux, LISTIC/Polytech Annecy-Chambéry, Univ. Savoie
    Invited speakers :
    Francesco Flammini, Ansaldo STS, Italy
    Catuscia Palamidessi, INRIA Saclay and LIX
    Giuliana Franceschinis, DiSIT, Università del Piemonte Orientale,Italy

  • VECoS 2011, September 15-16, 2011 Tunis, Tunisia
  • Venue : Tunis Sciences City
    PC Co-chairs :
    Nihal Pekergin, LACL, University Paris Est, France
    Tayssir Touili, LIAFA,CNRS and Univ Paris 7, France
    Invited speakers :
    Erol Gelenbe ImperialCollege, London
    Daniel Kroening , DCS, University of Oxford
    Jean-Jacques Lesage, Lurpa, ENS Cachan

  • VECoS 2010, July 1-2, 2010 Paris, France
  • Venue : Le Cnam, Paris
    PC Co-chairs :
    Denis Poitrenaud LIP6 - University Paris 6, France
    Loïc Corenson LIST-CEA, France
    Invited speakers :
    Raymond Devillers, ULB, Bruxelles
    Laurent Fribourg, LSV, ENS Cachan
    Hans-Michael Hanisch, ICS, University of Halle-Wittenberg, Germany

  • VECoS 2009, July 2-3, 2009 Rabat, Morroco
  • Venue : University of Mohammed V, Rabat
    PC Co-chairs :
    Said El Hajji University of Mohammed V - Agdal, Rabat
    Bruno Monsuez ENSTA Paristech
    Invited speakers :
    Mario Bravetti, Universita di Bologna, Italy
    Assaf Kfoury, Boston University, USA
    Guy Juanole, LAAS Toulouse, France
    Joel Ouaknine, University of Oxford, UK

  • VECoS 2008, July 2-3, 2008 Leeds, UK
  • Venue : School of Computing , University of Leeds, UK
    PC Co-chairs :
    Rahma Ben ayed , ENIT-Tunisia
    Karim Djemame University of Leeds
    Invited speakers :
    Beatrice Berard,Lamsade, University Paris Dauphine, France
    Omer Rana, Cardiff University,UK
    Jim Woodcock, University of York

  • VECoS 2007, May 5-6, 2007 Algiers, Algeria
  • Venue : USTHB, Algiers
    PC Co-chairs :
    Kamel Barkaoui – Cedric Le CNAM, Paris
    Malika Ioulalen – USTHB, Algiers
    Invited speakers :
    Hanifa Boucheneb, Polytechnique Montreal, Canada
    René Boel, Universiteit Gent, Belgium
    Patrice Moreaux, Listic, Univ. Savoie, France


    VECoS Publications