Computer Science Laboratory

Конференции и семинары с 2006г.

SPI

2012

21.10.2012: Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité

2011

22.04.2011: Journée Sécurité et Méthodes Formelles

2010

08.03.2010: Journée SSURF

2009

11.06.2009: Journée Présentation et Formation - FOCAL
27.05.2009: Journée Sécurité - (SSURF + PPF Logiciels Sûrs)

2008

07.11.2008: Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF
13.05.2008: Journée du Plan Pluri Formation Logiciels Sûrs et de l'action ANR SSURF