FIACRE réunion plénière
INRIA-Sophia, 20-21 november 2006

• A. Cansado: New Tracks for Dynamic Component Software

• E. Madelaine UML 2.0 Diagrams for Distributed Components

• F. Lang Refined Interfaces for Compositional Verification

• Invited Speaker: Barbora Zimmerova (Brno University, Tcheque rep.): Component Substitutability via Equivalencies of Component Interaction Automata (paper presented at FACS'06: http://www.iist.unu.edu/facs06/)

• Working Group "FIACRE language" (Vasy, Feria)

• Working Group "Substitutability" (Oasis, Vasy, ENST)