Date: Lundi, 26.01.2009
9:00 - 9:50	Accueil
9:00 - 9:50	Bienvenue: Introduction d'AFADL09 Président(e)s de Session: Dr. Christel SEGUIN Président(e)s de Session: Mamoun Filali Amine
10:00 - 12:30	Tutoriel: Vérification formelle de logiciel avionique critique
12:30 - 14:00	Déjeuner 1
14:00 - 16:00	Session 1: Modélisation de domaine et retour d'expérience
16:00 - 16:20	Pause 1
16:20 - 17:00	Session 2: Présentations courtes