Dear All,
Can you please diffuse this call for participation
Thanks a lot in advance.
Kamel
======================================
**************************************************************************
*VECoS'13*
*CALL FOR PARTICIPATIO*N
***************************************************************************
7th International Workshop on Verification and Evaluation of Computer and
Communication Systems
http://vecos.ensta-paristech.fr/2013/index.html
Florence, Italy , November 21-22, 2013
*WORKSHOP PROGRAM*
http://vecos.ensta-paristech.fr/2013/programme.html
*INVITED SPEAKERS*
Karama Kanoun , LAAS-CNRS, Toulouse, France
"Software Dependability Assessment — A Reality or A Dream? "
Roberto Bruni, Computer Science Department, University of Pisa, Italy
"Early validation and analysis of adaptive systems using Maude "
Michael Rusinovitch, LORIA-INRIA-Lorraine, Nancy, France
"Automated verification of security protocols and application to services
http://vecos.ensta-paristech.fr/2013/invitedspeakers.html
*REGISTRATION*
Registration information is available at
http://vecos.ensta-paristech.fr/2013/registration.html
A list of recommended hotels with preferential rates is available at
http://vecos.ensta-paristech.fr/2013/accommodation.html
*ORGANIZATION*
General Chair
Alessandro Fantechi, University of Florence, Italy
Program Co-chairs
Hanifa Boucheneb, Veriform, Ecole Polytechnique de Montréal, Canada
Francesco Flammini, Ansaldo STS, Italy
Program committe
http://vecos.ensta-paristech.fr/2013/programcommittee.html
======================================
Kamel Barkaoui
Professeur des Universités
Conservatoire National des Arts et Métiers
Ecole SITI - Département Informatique
Cédric - Groupe Vespa
2, Rue Conté
75141 Paris Cedex 03
France
---------------------------------------------------------
[email protected]
homepage
tel (+33) 1 40 27 28 52
mobile (+33) 6 72 54 22 47
fax (+33) 1 40 27 27 69
http://vecos-world.org
http://petrinets2014.cnam.fr
http://acsd2014.cnam.fr
==================================
----
[[ 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] ]]
