FIACRE réunion plénière
INRIA-Sophia, 7-8 march 2007

• Invited Speaker: Robert de Simone(Aoste, INRIA Sophia): "Static Scheduling of Latency Insensitive Designs"

• F. Vernadat Vérification de systèmes embarqués au sein du projet Topcased / The Topcased Verification ToolKit

• F. Lang La langage intermédiaire Fiacre: composants séquentiels (in french)

• M. Filali Langages de composition (in french)

• A. Cansado Defining a Specification Language for Distributed Components"

• E. Salageanu Distributed Components Specification using UML 2.0

• E. Najm ???

• A. Fantechi ???

• Working Group "Composition dans le langage intermediaire FIACRE" (Tous)