Meetings

- Réunion SSURF : Jeudi 18 Janvier 2007, LIP6, Paris. Compte rendu
- Réunion SSURF : Jeudi 5 Avril 2007, Paris. Compte rendu
- Journées Plan Pluri Formation PPF "Développement de Logiciels Sûrs"
le 7 Juin à 9h30 au CNAM, Annexe Rue Conté, 75003 Paris, Salle 30, -1, 03 10h-11h Sandrine Blazy (CPR-CEDRIC)
Titre: Vérification formelle d'un front-end pour un compilateur C
11h-11h45 Eric Jaeger (LIP6-DCSSI)
Titre: Plongement de B dans Coq
11H45-12h Eric Jaeger (LIP6-DCSSI)
Titre: La question du déjeuner : Y a-t-il un contre-exemple à cet exemple?
13h30 -13h45 Eric Jaeger (LIP6-DCSSI)
Titre : La réponse et son analyse
13h45-14h15 : Mathieu Jaume (LIP6)
Présentation de l'action SETIN SSURF
14h15 - 15h Catherine Dubois (CPR-CEDRIC)
Titre: Extraction fonctionnelle de prédicats inductifs
15h-16h Philippe Ayrault (LIP6)
Titre: Apport des études dysfonctionnelles pour la robustesse des logiciels
- Réunion SSURF : Mercredi 20 Juin 2007, LORIA, Nancy. Compte rendu
- Lundi 24 Septembre, 14h30 : Soutenance de la thèse de Charles Morisset
Sémantique des systèmes de contrôle d'accès.
Jury : Pierre-Yves Schobbens, Luca Vigano (rapporteurs), Serge Fdida, Ludovic Mé, Claude Kirchner (examinateurs), Thérèse Hardin, Mathieu Jaume (encadrants).
Journée commune SSURF et PPF : Mardi 25 Septembre 2007, Paris. Compte rendu
- Réunion SSURF : 30 Janvier 2008, LIP6, Paris. Compte rendu
- Journée SSURF + PPF : Mardi 13 Mai 2008 au LIP6 (Paris)
- Jeudi 6 Novembre 2008, à 15h salle 55-65 211 sur le campus de Jussieu : Soutenance HDR de Mathieu Jaume
Descriptions formelles : Comprendre, corriger, implanter, réutiliser.Application au contrôle d'accès
Jury : Hélène Kirchner, Cesar Munoz, Luca Vigano (rapporteurs), Irène Guessarian, Thérèse Hardin, Ludovic Mé, Isabelle Simplot-Ryl (examinateurs).
- Journée SSURF + PPF : Vendredi 7 Novembre 2008 au LIP6 (Paris) à 10h, salle 549.
- Journée SSURF : Mercredi 27 Mai 2009 au LIP6 (Paris) à 10h, salle 847.
- Journée formation FOCAL : Jeudi 11 Juin 2009 au LIP6 (Paris) à 10h, salle 847.
- Journée Doctorants et Stagiaires : Jeudi 18 Juin 2009 au LIP6 (Paris) à 10h
- Journée SSURF : 26/11/2009 au LIP6 (Paris) à 10h
- Colloque ANR STIC - La Villette du 5 au 7 Janvier 2010
- Journée SSURF : 08/03/2010
Soutenance de thèse de E. Jaeger (ANSSI)
Titre : Etude de l'apport des méthodes formelles déductives pour les développement de sécurité
Jury : Rapporteurs : Gilles Dowek (LIX), César Muñoz (NASA Langley Research Center) Examinateurs : Béatrice Bérard (MoVE-LIP6), Sylvain Boulmé (VERIMAG), Catherine Dubois (ENSIIE) - Co-encadrante, Loic Duflot (ANSSI), Thérèse Hardin (SPI-LIP6) - Encadrante, Fairouz Kamareddine (Heriot-Watt University, Edinburgh)
- Journée SSURF : 29/06/2009 au LIP6 à 10h