Cette journée, ouverte à tous, aura lieu dans la salle 847 (8eme étage) au LIP6 (104 Av du Président Kennedy, 75016, Paris) de 10h30 à 17h.

Les exposés programmés pour cette journée sont les suivants :

Jean-Frédéric Etienne, Stéphane Fechter (SafeRiver) Preuves de propriétés de cartographie et d'anti-collision d'une fonction critique développée en Simulink

Eric Jaeger (DCSSI) Remarques relatives à l'utilisation de méthodes formelles en sécurité

Ludovic Mé (Supelec) Détection des intrusions : vers moins d'empirisme

Tony Bourdier (Université Nancy/LORIA), Horatiu Cirstea (LORIA), Mathieu Jaume (LIP6), Hélène Kirchner (INRIA) Interprétation logique de politiques de sécurité

Focal Team (LIP6/CNAM/INRIA) Présentation de la nouvelle release de FoCaL (http://focal.inria.fr)