Project : vasy
Lectures and Invited Conferences
In 2004, we gave talks in several international conferences and workshops (see bibliography below). Additionally:
H. Garavel participated to the scientific committee of the 11th Inria-Industry meeting on software engineering (Inria Rocquencourt) on January 27, 2004. At this meeting, he also gave a talk entitled ``Analyse et vérification automatique de systèmes asynchrones'', and F. Lang and R. Mateescu demonstrated the Cadp toolbox.
A. Collomb gave a talk entitled ``Vers des systèmes asynchrones sûrs'' at the Listic laboratory (Annecy) on March 18, 2004.
H. Garavel gave an invited talk entitled ``Almost Ten Years of Process Algebras and Model Checking for Multiprocessor Architectures'' at X-Tacas, the 10th Anniversary of Tacas (Barcelona, Spain) on March 27–28, 2004.
R. Mateescu gave a keynote presentation entitled ``A Generic Framework for Model Checking Software Architectures'' at the 2nd International Workshop on Verification and Validation of Enterprise Information Systems Vveis'2004 (Porto, Portugal) on April 13–14, 2004.
H. Garavel gave a talk entitled ``Almost Ten Years of Process Algebras and Model Checking for Multiprocessor Architectures'' at the Pam (Process Algebra Meeting) held at Cwi (Amsterdam, The Netherlands) on May 12, 2004.
The annual Senva seminar was held in Allevard-Les-Bains on June 21–24, 2004. The list of talks is available from http://www.inrialpes.fr/vasy/senva/workshop2004.
F. Lang gave two talks entitled ``Compositional Verification Using Cadp of the ScalAgent Deployment Protocol for Software Components'' and ``Activités de recherche du projet Vasy'' at the kick-off meeting of the Fiacre national action (Inria Sophia-Antipolis) on November 22–23, 2004.
C. Joubert gave a talk entitled ``Analyse d'espaces d'états par résolution distribuée de systèmes d'équations booléennes'' at the ``Journée des doctorants de l'Ecole Doctorale Mathématiques, Informatique, Sciences et Technologies de l'Information'' Mstii'2004 (Grenoble) on December 2, 2004.
G. Salaün gave an invited talk entitled ``Specification and Verification of Asynchronous Systems'' at the Indo-French Seminar on Information Technology organized by Ifcpar, the Indo-French Centre for the Promotion of Advanced Research (Pune, India) on December 10, 2004.