Section: Dissemination
Lectures and Invited Conferences
In 2005, we gave talks in several international conferences and workshops (see bibliography below). Additionally:

R. Mateescu gave a talk entitled `` Vérification à la volée de systèmes parallèles asynchrones '' at the Lip laboratory – Inria RhôneAlpes (Lyon, France) on February 1st, 2005.

G. Salaün gave a talk entitled `` Describing and Reasoning on Web Services using Process Algebra '' at Inria Lorraine (Nancy, France) on February 7, 2005.

W. Serwe participated to the `` First German Verification Day '' (Oldenburg, Germany) on March 4, 2005.

G. Salaün gave a talk entitled `` Describing and Reasoning on Web Services using Process Algebra '' at Inria Rennes (France) on March 17, 2005.

G. Salaün gave a talk entitled `` Describing and Reasoning on Web Services using Process Algebra '' at Ecole des Mines de Nantes (France) on April 4, 2005.

F. Lang gave a talk entitled `` Verification of the ODP Trader using Exp.Open 2.0 and Cadp '' at the Laas/Cnrs laboratory (Toulouse, France) on April 18–19, 2005.

G. Salaün gave two talks entitled `` Describing and Reasoning on Web Services using Process Algebra '' and `` Formal Coordination of Distributed Entities Described with Behavioural Interfaces '' at the Laas/Cnrs laboratory (Toulouse, France) on April 18–19, 2005.

C. Joubert gave a talk entitled `` Distributed OntheFly Verification of FiniteState Systems '' at the Technical University of Valencia (Spain) on May 9, 2005.

R. Mateescu gave a talk entitled `` Résolution à la volée des systèmes d'équations booléennes et applications '' at the Lsv laboratory (Cachan, France) on May 24, 2005.

R. Mateescu gave a talk entitled `` Cæsar_Solve : A Generic Library for OntheFly Resolution of Boolean Equation Systems and its Applications to Verification '' at the University of Málaga (Spain) on June 27, 2005.

H. Garavel gave a tool demonstration entitled `` DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation '' at Pdmc '2005 ( 4th International Workshop on Parallel and Distributed Methods in VerifiCation , Lisbon, Portugal) on July 10, 2005.

H. Garavel gave an invited talk entitled `` How to Interface Algebraic Process Calculi with the Real World? '' at the international seminar `` Algebraic Process Calculi: The First Twenty Five Years and Beyond '' held in Bertinoro (Forlí, Italy) on August 1–5, 2005.

R. Mateescu gave a public demonstration of Cadp at the summer school `` Ecole d'été temps réel '' (Nancy, France) on September 14, 2005.

F. Lang gave a public demonstration of Cadp at a meeting of the TopCased project ( Laas/Cnrs , Toulouse, France) on September 1, 2005.

F. Lang and W. Serwe visited Cwi (Amsterdam, The Netherlands) on September 12–16, 2005:

F. Lang gave a talk entitled `` Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional and Onthefly Verification Methods '' at the Pam ( Process Algebra Meeting ) held at Cwi on September 14, 2005.

W. Serwe gave a talk entitled `` State Space Reduction for Process Algebra Specifications '' at the Pam ( Process Algebra Meeting ) held at Cwi on September 14, 2005.


G. Salaün gave a talk entitled `` How Formal Methods Can Contribute to the Formal Development of Web Services '' at the LaMI laboratory (Evry, France) on September 19, 2005.

F. Lang participated to the TopCased Industrial Workshop on System Verification held at Airbus (Toulouse, France) on October 11, 2005, where he gave a talk entitled `` Description des comportements synchrones et asynchrones '' and demonstrated the Cadp toolbox.

W. Serwe represented Inria during a visit, organized by the French Embassy in Tokyo, of Japanese public and industrial research institutes working in the field of systems on chip (Tokyo, Japon, November 7–11, 2005).

H. Garavel gave an invited talk entitled `` An Overview of Cadp 2005 '' at the German Transregional Collaborative Research Center Avacs ( Automatic Verification and Analysis of Complex Systems ) in Freiburg (Germany) — simultaneously transmitted to Oldenburg and Saarbrücken — on November 25, 2005.

H. Garavel gave a talk entitled `` Systèmes asynchrones, algèbres de processus et espaces d'états '' at the Lip laboratory – Inria RhôneAlpes (Lyon, France) on December 13, 2005.

C. Joubert gave a talk entitled `` Distributed OntheFly Verification of Large State Spaces '' at the University of Málaga (Spain) on December 22, 2005.