Sites Inria

Version française

Inria-Industry Meetings

The aeronautical and space industries - Part 2: Programme

The Inria-Industry Meeting on the theme of "Modelling and safe systems" took place on 17 May 2010 in Toulouse.

9.30 am

Participants welcomed

10.00 am

Introduction

10.30 am

Models and code at the same time: the benefits and requirements of multiform logical time in the design of critical real-time embedded systems
by Robert de Simone, Inria - Aoste project-team leader

11.15 am

Coffee break • Demonstration showroom

11.45 am

Inria SYCHRONICS large-scale action, "Synchronous programming languages for embedded systems"
by Marc Pouzet, Professor of Computer Science at the Ecole Normale Supérieur

12.15 pm

Buffet • Demonstration showroom

2.00 pm

An introduction to the formal verification of critical codes  by Xavier Leroy, Inria and Inria Gallium project-team leader

2.45 pm

Free/open-source software: scientific and technological challenges for complex engineering systems
by Roberto Di Cosmo, Inria & Paris Diderot University (Paris 7)

3.30 pm

Coffee break • Demonstration showroom

4.15 pm

Industry-Research differing perspectives
by Jean-Marc Thomas, Chairman of Aerospace Valley, and Bruno Sportisse, Director of Technology Transfer and Innovation at Inria

4.45 pm

Closing comments
by Claude Kirchner, Head of the Inria Bordeaux - Sud-Ouest research centre

5.00 pm

Cocktail reception

Top