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