Voici un programme préliminaire de la journée.
10h30 Henri Binsztok (MLState) Sûreté et sécurité des webservices
11h15 Jean-Marc Eber (Lexifi) -- sous réserve Sécurité par la sémantique
13h30 David Teller (LIFO, Univ. Orléans) Analyse statique de propriétés de sécurité sur des programmes C.
14h15 Philippe Ayrault, Thérèse Hardin, Francois Pessaux (Lip6) Development life cycle of critical software under Focal
15h00 Pierre Weis (INRIA) Tests pour les types relationnels de CAML