Hello,
We would be grateful if you could advertise the VECoS'2008 CfP.
Thanking you in advance.
Best regards.
Rahma Benayed and Karim Djemame
VECoS'2008 Co-Chairs
***********************************************************************
We apologize in advance if you receive multiple copies of this Call for Papers.
Please feel free to distribute it to those who might be interested.
***********************************************************************
--------------------------------------------------------------
Call for Papers
VECoS 2008
2nd International Workshop on Verification and Evaluation
of Computer and Communication Systems
Leeds, UK
July 2-3, 2008
http://www.comp.leeds.ac.uk/vecos08/
Introduction
------------
The International Workshop on Verification and Evaluation of Computer and
Communication Systems (VECoS) was created by a Euro-Maghrebian network of
researchers in computer science. The first edition took place at Algiers 5-6
May 2007 (VECoS'2007). The aim of VECoS workshop is to bring together
researchers and practitioners, in the areas of verification, control,
performance , QoS and dependability evaluation and assessment, to discuss the
state of the art for solving the challenges facing us today in various modern
computer and communication systems in which functional and non functional
properties are strongly mixed. Thus, the main motivation for VECoS is to
encourage the cross-fertilization between verification and evaluation
approaches, methods and techniques especially those based on the specification
formalisms for concurrent systems. Beyond its technical and scientific goals,
another main purpose of VECoS is to promote cooperation in research and
education in the area of computer science and engineering between participants
and their institutions.
Topics of interest include, but are not limited to
- Model-checking
- Equivalence checking
- Abstraction techniques
- Compositional verification
- Parameterized verification
- Control synthesis techniques
- Probabilistic verification
- Performance and robustness evaluation (Markov chains, queueing networks,
stochastic Petri nets, and stochastic process algebras)
- Simulation techniques of discrete-event and hybrid systems
- Dependability assessment techniques
- QoS evaluation, planning and deployment
Submission guidelines
---------------------
Papers must be original contributions that have not been published previously,
nor already submitted to other conferences/journals in parallel with this
workshop. Practical experience reports and tools descriptions/demonstrations
are welcome. Papers should be submitted electronically via the VECoS 2008 web
site by uploading a self-contained PDF file. Papers should not exceed 12 pages
using the Electronic Workshops in Computing (eWiC) format. The title page must
contain a short abstract and a classification of the topics covered, preferably
using the list of topics above. All submissions will be reviewed by at least 3
members of the program committee. Accepted papers will be included in the
workshop proceedings available at the conference and published by the eWiC
series of the British Computer Society. For each accepted paper, at least one
author should register for the conference and plan to present the paper.
Chairs and Committees
---------------------
Workshop co-chairs
------------------
Rahma Ben Ayed SysCom ENIT, Tunisia
Karim Djemame University of Leeds, UK
Steering Committee
------------------
Hassane Alla LAG-INPG Grenoble, France
Nadjib Badache LSI-USTHB Algiers, Algeria
Kamel Barkaoui (Chair) CEDRIC-CNAM Paris, France
Rahma Ben Ayed SysCom-ENIT Tunis, Tunisia
Karim Djouani LISSI Universite Paris 12 Creteil, France
Mohamed Kaaniche LAAS CNRS Toulouse, France
Patrice Moreaux LISTIC University of Savoie Annecy, France
Programme Committee
-------------------
Djamil Aissani, LAMOS, University of Bejaia, Algeria
Yamine Ait Ameur, ENSMA, France
Otmane Ait Mohamed, Concordia University, Canada
Nasreddine Aoumeur, University of Magdeburg, Germany
Faiza Belala, University Mentouri Constantine, Algeria
Abdelfettah Belghith, ENSI Tunis, Tunisia
Hanene Ben Abdallah, University of Sfax, Tunisia
Narjes Ben Rajeb, LIP2 & INSAT, Tunisia
Saddek Bensalem, VERIMAG, France
Abderrahim Benslimane, University of Avignon, France
Rene Boel, Ghent University, Belgium
Hanifa Boucheneb, Ecole Polytechnique Montreal, Canada
Celine Boutrous Saab, Lamsade, Universite Paris-Dauphine, France
Maria Blanca Caminero Herraez, Universidad de Castilla-La Mancha, Spain
Allaoua Chaoui, University Mentouri Constantine, Algeria
Jean-Michel Couvreur, LIFO, Orleans University, France
Silvano Dal Zilio, LAAS CNRS Toulouse, France
Isabel Demongodin, LSIS University Paul Cezanne, France
Claude Dutheillet, LIP6 University Pierre et Marie Curie, France
Mohammed Erradi, ENSIAS, Morocco
Pascal Fontaine, LORIA University of Nancy, France
Hacene Fouchal , GRIMAAG, Universite Antilles-Guyane
Giuliana Franceschinis, Universita del Piemonte Orientale, Alessandria, Italy
Iain Gourlay, University of Leeds, UK
Bernd Heidergott, Vrije Universiteit Amsterdam, The Netherlands
Malika Ioualalen, USTHB Algiers, Algeria
Hanna Klaudel, IBISC CNRS, University of Evry, France
Mourad Maouche, Philadelphia University, Jordan
Herve Marchand, IRISA, France
Mohamed Mezghiche, LIFAB, University of Boumerdes, Algeria
Noufissa Mikou, University of Bourgogne, France
Bruno Monsuez, ENSTA, France
Mohamed Mosbah, LaBRI Bordeaux, France
Hassan Mountassir, LIFC University Franche-Comte Besancon, France
Laure Petrucci, LIPN CNRS, University Paris Nord, France
Denis Poitrenaud, LIP6 - Paris VI University, France
Larbi Sekhri, University of Oran, Algeria
Tayssir Touili, LIAFA CNRS University Paris-Diderot, France
Thierry Villemur, LAAS CNRS, France
Habib Youssef, ISITCom University of Sousse, Tunisia
Local arrangements
------------------
Mohammed Haji University of Leeds, UK
James Padgett University of Leeds, UK
Important Dates
---------------
Submission deadline for VECoS 2008 papers: March 28, 2008
Notification of acceptance: May 15, 2008
Final version of papers due: May 30, 2008
Workshop date: 2-3 July 2008
Venue: School of Computing, University of Leeds.
Web: http://www.comp.leeds.ac.uk/vecos08/
Contact
-------
General requests can be sent to VECoS'2008 Co-Chairs:
Karim Djemame : [EMAIL PROTECTED]
Rahma Ben Ayed : [EMAIL PROTECTED]
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
