- Computer Science Laboratory

All current and past events

LIP6

SPI

  •  Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité
  •  Journée Sécurité et Méthodes Formelles
  •  Journée SSURF
  •  Journée Présentation et Formation - FOCAL
  •  Journée Sécurité - (SSURF + PPF Logiciels Sûrs)
  •  Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
  •  Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF