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)

-->