------------------------------------------------------------------------ - Our apologies if you receive multiple copies of this CFP - ------------------------------------------------------------------------
CALL FOR PAPERS: VECoS 2012 6th International Workshop on Verification and Evaluation of Computer and Communication Systems co-located with the 18th International Symposium on Formal Methods (FM 2012) CNAM, Paris, France, August 27-28, 2012 http://www.vecos-world.org =========================================================================== *** Important dates Paper submission deadline: 26 March 2012 Acceptance/rejection notification: 21 May 2012 Camera-ready version due: 11 June 2012 *** Aims and scope The International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Maghrebian network ofresearchers in computer science. Its first edition, VECoS 2007, took place in
Algiers, VECoS 2008 in Leeds, VECoS 2009 in Rabat, VECoS 2010 in Paris, and VECoS 2011 in Tunis. The aim of the VECoS workshop is to bring together researchers andpractitioners, 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 facing us today in various modern computer andcommunication systems in which functional and extra 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. We welcome contributions describing original research, practical experience reports and tool descriptions/demonstrations in the areas of verification, control, and performance, quality of service, and 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 speakersFrancesco Flammini, Università degli Studi Federico II di Napoli, Napoly, Italy Giuliana A. Franceschinis, Università, del Piemonte Orientale, Alessandria, Italy
Catuscia Palamidessi, École Polytechnique, Paris, France ***Submission and PublicationContributions must have not been published previously, nor already submitted to other conferences/journals in parallel with this workshop. Manuscripts must be submitted electronically in PDF format, according to the instructions given on
the VECoS 2012 website and should not exceed 12 pages using the Electronic Workshops in Computing (eWiC) format. The workshop proceedings will bepublished in the eWiC series (ISSN 1477-9358) of the British Computer Society
(BCS).The authors of the best papers will be invited to submit a revised and extended
version of their paper after the workshop to a related special issue of the International Journal of Critical Computer-Based Systems (IJCCBS) or the International Journal of Discrete Event Control Systems (IJDECS). *** For more information see: http://www.vecos-world.org or http://vecos.ensta-paristech.fr/ or contact PC co-chairs:Patrice Moreaux, LISTIC, Polytech Annecy-Chambéry, Université de Savoie, France, [email protected].
Nejib Ben Hadj-Alouane, OASIS Laboratory, National School of Engineers of Tunis, Tunisia, [email protected].
==========================================================================================
<<attachment: Denis_Poitrenaud.vcf>>
---- [[ 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] ]]
