Sites Inria

English version

Rencontres Inria - Industrie

Les industries de l'aéronautique et de l'espace - Partie 2 : Programme

La Rencontre Inria - Industrie sur le thème du "Modélisation et systèmes sûrs" s'est déroulé le 17 mai 2010 à Toulouse.

9h30

Accueil des participants

10h00

Ouverture

10h30

Modèles et code à la fois : bénéfices et exigences du temps logique multiforme pour la conception de systèmes temps réel embarqués critiques
par Robert de Simone, Inria - Responsable scientifique équipe-projet Aoste

11h15

Pause café • Show-Room des démonstrations

11h45

Action d'Envergure Inria SYCHRONICS "Langages de programmation synchrones pour les systèmes embarqués"
par Marc Pouzet, Professeur d'Informatique à l'ENS

12h15

Buffet • Show-Room des démonstrations

14h00

Une introduction à la vérification formelle de codes critiques  par Xavier Leroy, Inria et responsable scientifique de l'équipe-projet Inria Gallium

14h45

Logiciel libre / ouvert : défis scientifiques et technologiques pour les systèmes d'ingénierie complexes
par Roberto Di Cosmo, Inria & Université Paris Diderot (Paris 7)

15h30

Pause café • Show-Room des démonstrations

16h15

Regards croisés Industrie - Recherche
par Jean-Marc Thomas, Président d’Aerospace Valley et Bruno Sportisse, Directeur du Transfert et de l’Innovation à l'institut

16h45

Clôture
par Claude Kirchner, Directeur du centre de recherche Inria Bordeaux - Sud-Ouest

17h00

Cocktail

Haut de page

Suivez Inria