Keynotes

Paul CASPI, former researcher at Verimag-CNRS laboratory, Grenoble, France

« Model-based development of embedded control systems: historical perspective and recent advances »

Patrick COUSOT, professor of computer science at the Ecole normale supérieure of Paris, France

Title to be announced

Odile LAURENT, AIRBUS, Toulouse, France

« The aeronautical systems development challenges for Airbus »

Dines BJORNER, Technical University of Denmark - Lingby, DENMARK

« Development of Transportation Systems »