The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Med network of researchers in computer science. The aim of the VECoS conference 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: Porto, Portugal

Local Chair: José Nuno Oliveira (INESC TEC & University of Minho, Braga, Portugal)

PC Co-chairs:
Pierre Ganty (Imdea Softawre institute, Madrid)
Mohamed Kaaniche (LAAS, Toulouse)

Invited speakers:
Ahmed Bouajjani (Paris Diderot University)
Ali Mili (New Jersey Instirtue of Technology (NJIT))

The previous editions of VECoS


  • VECoS 2018, September 26-28, 2018 Grenoble, France
    • Venue : Université Joseph Fourier
    General Co-chairs: Saddek Bensalem, Verimag / University Grenoble Alpes, France
    Bruno Monsuez, Ensta ParisTech, France
    PC Co-chairs: Simon Bliudze, INRIA Lille - Nord Europe, France Mohamad Faouzi Atig, Uppsala University, Sweden Invited speakers:
    Parosh Aziz Abdulla, Uppsala University, Sweden
    Axel Legay, Inria Rennes, France
    Alexandra Silva, University College London, UK

  • VECoS 2017, August 24-25, 2017 Montréal, Canada
    • Venue : Concordia University
    General Co-chairs:
    Sofiene Tahar, Concordia University, Montreal, Canada
    Ali Mili, New Jersey Institute of Technology, Newark, NJ, USA
    PC Co-chairs:
    Kamel Barkaoui, CNAM, Paris, France
    Hanifa Boucheneb, Polytechnique Montreal, Canada
    Invited speakers:
    Mourad Debbabi, Concordia University, Montreal, Canada
    Michel Dagenais, Polytechnique Montreal, Canada
    Zhiwu Li, Systems Control & Automation Laboratory, Xidian University, Xian, China

  • VECoS 2016, October 6-7, 2016 Tunis, Tunisia
    • 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 and ReDCad, Sfax, Tunisia
    Invited speakers :
    Eric Badouel, SUMO, IRISA Rennes, France
    Serge Haddad, LSV, ENS Cachan, France

  • 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