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

R. Mateescu gave a talk entitled ``Vérification à la volée basée sur les systèmes d'équations booléennes '' at the Lifc laboratory (Besançon, France) on January 19, 2006.

R. Mateescu gave a talk entitled ``Modélisation et analyse des systèmes parallèles asynchrones '' at the Le2i laboratory (Dijon, France) on February 8, 2006.

G. Salaün visited the research group of professors Jeff Kramer and Jeff Magee, Imperial College (London, UK) between January 19 and February 17, 2006.

F. Lang gave a talk entitled ``Propositions d'extensions temporisées pour Ntif '' at Enst (Paris, France) on February 13–14, 2006.

G. Salaün gave a talk entitled ``How Process Algebra Can Contribute to the Formal Development of Web Services '' at the University of Málaga (Spain) on March 16, 2006.

H. Garavel and R. Mateescu visited Cwi (Amsterdam, The Netherlands) on April 2–4, 2006. R. Mateescu gave a talk entitled ``Sequential and Distributed Test Generation using Boolean Equation Systems ''. H. Garavel gave a talk entitled ``State Space Reduction for Process Algebra Specifications '' and a position statement on future projects.

H. Garavel gave a talk entitled ``Validation d'architectures multiprocesseurs à l'aide des outils Cadp '' at the Labri laboratory (Bordeaux, France) on April 27, 2006.

H. Garavel gave a talk entitled ``Validation d'architectures multiprocesseurs : 10 ans de collaboration Bull Inria '' at Cea/Dam (Bordeaux, France) on April 28, 2006.

F. Lang gave two talks entitled ``An Overview of Cadp 2006 '' and ``Translating the Lotos NT Data Part into Lotos Abstract Data Types '' at Inria SophiaAntipolis (France) on July 6–7, 2006.

W. Serwe gave a talk entitled ``An Overview of Cadp 2006 '' at the Dagstuhl seminar Nr. 06351 on August 27–September 1st, 2006.

G. Salaün gave a talk entitled ``Translating Chp into Lotos for the Verification of Asynchronous Hardware Designs with Cadp '' at Microsoft Research (Cambridge, United Kingdom) on November 2, 2006.

H. Garavel and R. Mateescu visited Cwi (Amsterdam, The Netherlands) on November 6–9, 2006. R. Mateescu gave a Pam (Process Algebra Meeting ) talk entitled ``Cæsar_Solve : A Generic OntheFly Solver for AlternationFree Boolean Equation Systems and its Applications to Verification '' on November 8, 2006.

H. Garavel gave a talk entitled ``Practical applications of process calculi in industrial projects '' at the Lix Colloquium on Emerging Trends in Concurrency Theory (Ecole Polytechnique, Palaiseau, France) on November 13–15, 2006.

F. Lang gave a talk entitled ``Refined Interfaces for Compositional Verification '' at LaasCnrs laboratory (Toulouse, France) on November 20–21, 2006.

G. Salaün gave a talk entitled ``Software Adaptation: An Approach based on Synchronization Vectors and Regular Expressions '' at the University of Málaga (Spain) on November 22, 2006.

H. Garavel gave a talk entitled ``Cadp 2006 from a Model Driven Perspective '' at Inria Rennes (France) on November 22–23, 2006.