[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
===========================================================================
We apologize if you receive multiple copies of this call for participation.
===========================================================================
CALL FOR PARTICIPATION
*** 4th International Workshop on Verification and Evaluation of Computer
and Communication Systems (VECoS' 2010) July, 1-2, 2010, Paris, France
<http://www.vecos-world.org/> http://www.vecos-world.org/
VECoS 2010 will be held at the Conservatoire National des Arts et Métiers
(CNAM), in the center of Paris and close to the Pantheon, Notre Dame
cathedral and the île de la Cité. The workshop is co-organized by CNAM and
ENSTA with cooperation of MeFoSyLoMa Group ( <http://www.mefosyloma.fr/>
http://www.mefosyloma.fr/), and is sponsored by Formal Methods Europe (
<http://www.fmeurope.org/> http://www.fmeurope.org/).
*** Aims and scope
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 first edition VECoS'07 took place in
Algiers, VECoS'08 in Leeds 2-3 July 2008 and VECoS'09 in Rabat 2-3 July
2009.
The aim of VECoS workshop is to bring together researchers and
practitioners, in the areas of Verification, Control, Performance, Quality
of service, 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 extra functional
properties are strongly interrelated. Thus, the main motivation for VECoS is
to encourage the cross-fertilization between formal verification and
evaluation approaches, methods and techniques especially those based on the
specification formalisms for concurrent, distributed and soft/hard 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. We welcome contributions
describing original research, practical experience reports and tool
descriptions/demonstrations in the areas of Verification, Control, and
Performance, Quality of service, Dependability Evaluation.
*** 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
- Simulation techniques of discrete-event and hybrid systems
- Dependability assessment techniques
- QoS evaluation, planning and deployment
*** Invited speakers
Laurent Fribourg, LSV, CNRS & ENS de Cachan France Raymond Devillers,
Université Libre de Bruxelles, Belgium Hans-Michael Hanisch, Martin Luther
University of Halle-Wittenberg, Germany
*** For more information see:
<http://www.vecos-world.org/> http://www.vecos-world.org/ or
<http://vecos.ensta.fr/2010/index.html>
http://vecos.ensta.fr/2010/index.html
or contact PC co-chairs:
Loïc Correnson, LIST-CEA, France, loic.corren...@cea.fr Denis Poitrenaud,
LIP6 UPMC Paris, France, denis.poitren...@lip6.fr
===========================================================================
