International Conference
VECoS
Verification and Evaluation of Computer and Communication Systems
Born from a Euro‑Mediterranean network of computer scientists, VECoS brings together researchers and practitioners working across verification, control, performance, quality of service, and dependability — the threads that hold functional and non‑functional system properties together.
The conference exists to cross‑pollinate formal verification and evaluation methods, particularly those built for concurrent, distributed, and software/hardware systems — and, just as importantly, to grow the community of people doing that work.
Next Edition
VECoS 2026 — Amsterdam, Netherlands
- General Co-chairs
- Bernd Heidergott — Vrije Universiteit Amsterdam
- Djamil Aïssani — LaMOS, Béjaïa University
- Invited Speakers
- To be confirmed
Previous Editions
2025 Paris, France5–7 November 2025 +
Edition pagevecos-world.org/2025/
VenueCEA LIST, Paris‑Saclay
PC Co-chairsSébastien Bardin (CEA LIST) · Riadh Robbana (EPITA Research Lab)
Invited speakersMohamed Faouzi Atig (Uppsala) · Sylvain Conchon (Paris‑Saclay)
ProceedingsVECoS LNCS Proceedings 2025
2024 Djerba, Tunisia15–18 October 2024 +
Edition pagevecos-world.org/2024/
VenueElife Center, Djerba
PC Co-chairsMohamed Ghazel (Gustave Eiffel University) · Bruno Monsuez (ENSTA Paris)
Invited speakersYamine Aït Ameur (ENSEEIHT Toulouse INP / ANR) · Zhiwu Li (Macau University of Science and Technology)
ProceedingsVECoS LNCS Proceedings 2024
2023 Marrakech, Morocco18–20 October 2023 +
Edition pagevecos-world.org/2023/
VenueFaculty of Science and Technology Guéliz, Cadi Ayyad University
PC ChairYassine Maleh (Sultan Moulay Slimane University)
PC Co-chairMoez Krichen (Al Baha University, KSA)
Invited speakersAhmed Bouajjani (Paris Cité University) · Silvano Dal Zilio (LAAS‑CNRS) · Antonín Kučera (Masaryk University)
ProceedingsVECoS LNCS Proceedings 2023
2021 Beijing, China22–23 November 2021 +
Edition pagevecos-world.org/2021/index.html
VenueInstitute of Software, Chinese Academy of Sciences, Beijing
General ChairKamel Barkaoui (Conservatoire National des Arts et Métiers, Paris)
PC Co-chairsAyoub Nouri (Huawei France, Grenoble) · Weimin Wu (Zhejiang University)
Invited speakersLei Ma (University of Alberta) · Ylies Falcone (Univ. Grenoble Alpes)
ProceedingsVECoS LNCS Proceedings 2021
Journal special issueInnovations in Systems and Software Engineering (2023)
2020 Xi'an, China22–25 September 2020 +
Edition pagevecos-world.org/2020/index.html
VenueXi'an University of Science and Technology
General ChairZhanli Li (Xi'an University of Science and Technology)
General Co-chairsKamel Barkaoui (CNAM, Paris) · Zhenhua Yu (Xi'an University of Science and Technology)
PC Co-chairsBelgacem Ben Hedia (CEA‑List, Saclay) · Yu‑Fang Chen (Academia Sinica, Taipei) · Gaiyun Liu (Xidian University)
ProceedingsVECoS LNCS Proceedings 2020
Journal special issueInnovations in Systems and Software Engineering (2023)
2019 Porto, Portugal9 October 2019 +
Edition pagevecos-world.org/2019/index.html
VenueAlfândega Porto Congress Centre
Local ChairJosé Nuno Oliveira (University of Minho)
PC Co-chairsPierre Ganty (IMDEA Software Institute, Madrid) · Mohamed Kaâniche (LAAS‑CNRS, Toulouse)
Invited speakersJose F. Morales (IMDEA Software Institute) · Ali Mili (NJIT)
ProceedingsVECoS LNCS Proceedings 2019
2018 Grenoble, France26–28 September 2018 +
Edition pagevecos-world.org/2018/index.html
VenueUniversité Joseph Fourier
General Co-chairsSaddek Bensalem (Verimag / Univ. Grenoble Alpes) · Bruno Monsuez (ENSTA ParisTech)
PC Co-chairsSimon Bliudze (Inria Lille) · Mohamad Faouzi Atig (Uppsala University)
Invited speakersParosh Aziz Abdulla (Uppsala) · Axel Legay (Inria Rennes) · Alexandra Silva (UCL)
ProceedingsVECoS LNCS Proceedings 2018
Journal special issueISSE, Vol. 16, Issue 2 (2020)
2017 Montréal, Canada24–25 August 2017 +
Edition pagevecos-world.org/2017/index.html
VenueConcordia University
General Co-chairsSofiene Tahar (Concordia University) · Ali Mili (NJIT)
PC Co-chairsKamel Barkaoui (CNAM, Paris) · Hanifa Boucheneb (Polytechnique Montréal)
Invited speakersMourad Debbabi (Concordia) · Michel Dagenais (Polytechnique Montréal) · Zhiwu Li (Xidian University)
ProceedingsVECoS LNCS Proceedings 2017
Journal special issueISSE, Vol. 14, Issue 2 (2018)
2016 Tunis, Tunisia6–7 October 2016 +
Edition pagevecos-world.org/2016/index.html
VenueTunisia Polytechnic School
General Co-chairsAzgal Abichou (LIM, EPT) · Kamel Barkaoui (Cedric‑CNAM, Paris)
PC Co-chairsMohamed Ghazel (IFSTTAR, Lille) · Mohamed Jmaïel (DRC and ReDCad, Sfax)
Invited speakersÉric Badouel (SUMO, IRISA Rennes) · Serge Haddad (LSV, ENS Cachan)
ProceedingsVECoS CEUR Proceedings 2016
Journal special issueIJCCBS Vol. 8, No. 2 · Vol. 8, No. 3/4
2015 Bucharest, Romania10–11 September 2015 +
Edition pagevecos-world.org/2015/index.html
VenueUniversity Politehnica of Bucharest
PC Co-chairsBelgacem Ben Hedia (LIST‑CEA, Saclay) · Florin Popentiu Vladicescu (University of Oradea)
Invited speakersLiliana Cucu‑Grosjean (Inria Paris‑Rocquencourt) · Gabriel Ciobanu (Romanian Academy, Iași) · Mohamed Kaâniche (LAAS, Toulouse)
ProceedingsVECoS CEUR Proceedings 2015
2014 Béjaïa, Algeria29–30 September 2014 +
Edition pagevecos-world.org/2014/index.html
VenueUniversity of Béjaïa
PC Co-chairsHassane Alla (Gipsa, Univ. Grenoble) · Louiza Bouallouche‑Medjkoune (LAMOS, Béjaïa University)
Invited speakersSaddek Bensalem (Verimag, Univ. Joseph Fourier) · Bernd Heidergott (VU Amsterdam) · Carla Seatzu (University of Cagliari)
ProceedingsVECoS CEUR Proceedings 2014
2013 Florence, Italy21–22 November 2013 +
Edition pagevecos-world.org/2013/index.html
VenueUniversità di Firenze
PC Co-chairsHanifa Boucheneb (École Polytechnique de Montréal) · Francesco Flammini (Ansaldo STS)
Invited speakersKarama Kanoun (LAAS‑CNRS, Toulouse) · Roberto Bruni (University of Pisa) · Michaël Rusinowitch (LORIA‑Inria Lorraine, Nancy)
ProceedingsVECoS EWiC Proceedings 2013
2012 Paris, France27–28 August 2012 +
Edition pagevecos-world.org/2012/index.html
VenueLe Cnam, Paris
PC Co-chairsNejib Ben Hadj‑Alouane (ENIT Tunis) · Patrice Moreaux (LISTIC / Polytech Annecy‑Chambéry)
Invited speakersFrancesco Flammini (Ansaldo STS) · Catuscia Palamidessi (Inria Saclay and LIX) · Giuliana Franceschinis (Università del Piemonte Orientale)
ProceedingsVECoS EWiC Proceedings 2012
2011 Tunis, Tunisia15–16 September 2011 +
Edition pagevecos-world.org/2011/index.html
VenueTunis Sciences City
PC Co-chairsNihal Pekergin (LACL, Univ. Paris Est) · Tayssir Touili (LIAFA, CNRS and Univ. Paris 7)
Invited speakersErol Gelenbe (Imperial College London) · Daniel Kroening (Univ. of Oxford) · Jean‑Jacques Lesage (LURPA, ENS Cachan)
ProceedingsVECoS EWiC Proceedings 2011
2010 Paris, France1–2 July 2010 +
Edition pagevecos-world.org/2010/index.html
VenueLe Cnam, Paris
PC Co-chairsDenis Poitrenaud (LIP6, Univ. Paris 6) · Loïc Corenson (LIST‑CEA)
Invited speakersRaymond Devillers (ULB, Brussels) · Laurent Fribourg (LSV, ENS Cachan) · Hans‑Michael Hanisch (Univ. of Halle‑Wittenberg)
ProceedingsVECoS EWiC Proceedings 2010
2009 Rabat, Morocco2–3 July 2009 +
Edition pagevecos-world.org/2009/index.html
VenueUniversity of Mohammed V, Rabat
PC Co-chairsSaïd El Hajji (Univ. Mohammed V, Agdal) · Bruno Monsuez (ENSTA ParisTech)
Invited speakersMario Bravetti (Università di Bologna) · Assaf Kfoury (Boston University) · Guy Juanole (LAAS Toulouse) · Joël Ouaknine (Univ. of Oxford)
ProceedingsVECoS EWiC Proceedings 2009
2008 Leeds, United Kingdom2–3 July 2008 +
Edition pagevecos-world.org/web/20150101231238/ewic.bcs.org/category/16320
VenueSchool of Computing, University of Leeds
PC Co-chairsRahma Ben Ayed (ENIT Tunisia) · Karim Djemame (University of Leeds)
Invited speakersBéatrice Bérard (LAMSADE, Univ. Paris Dauphine) · Omer Rana (Cardiff University) · Jim Woodcock (University of York)
ProceedingsVECoS EWiC Proceedings 2008
2007 Algiers, Algeria5–6 May 2007 +
Edition pagevecos-world.org/web/20150101231238/ewic.bcs.org/category/16361
VenueUSTHB, Algiers
PC Co-chairsKamel Barkaoui (Cedric, Le CNAM, Paris) · Malika Ioualalen (USTHB, Algiers)
Invited speakersHanifa Boucheneb (Polytechnique Montréal) · René Boel (Universiteit Gent) · Patrice Moreaux (LISTIC, Univ. Savoie)
ProceedingsVECoS EWiC Proceedings 2007