Réseau Thématique "Systèmes embarqués critiques ou contraints"

Ecole de printemps
"Logiciels embarqués"

Contact: Nicolas.Halbwachs@imag.fr

Le réseau SECC, réseau thématique du département STIC du CNRS, organise une école de printemps sur les logiciels embarqués. Durant 5 jours, des cours seront donnés sur des grands thèmes reliés au domaine des logiciels embarqués à raison d'un thème par jour. Cette école est commune avec la première semaine de l'Ecole "jeunes chercheurs en programmation" 2003.

Programme Provisoire

• Gilles Barthe (INRIA, Sophia-Antipolis): De la théorie de types à Java Card.
• Nicolas Halbwachs et Florence Maraninchi (Verimag, Grenoble): La programmation synchrone.
• Patrick Cousot (ENS, Paris): Interprétation abstraite.
• Didier Bert, Marie-Laure Potet (LSR-IMAG Grenoble) : La méthode B.
• Philippe Clauss (Université Louis Pasteur, Strasbourg): Compilation de logiciel embarqué.

Inscriptions  - Date limite: 15 mars 2003

Les droits d'inscription (388 euros en chambre simple, 342 euros en chambre double) couvrent l'ensemble du séjour (logement, repas, documents et cours), du lundi 26/5 au soir au samedi 31/5 après-midi

Les inscriptions sont closes.