Il y a 1 Résultats avec le mot clé : "LSV"
Colloquium
SECSI Colloquium
Le Laboratoire de Spécification et Vérification (LSV) de l'ENS Cachan organise un colloquium de 2 jours avec conférences d'orateurs invités et la soutenance d'HDR de 3 membres de l'équipe SECSI (Stéphanie Delaune, Steve Kremer et Graham Steel).
Lieu : École Normale Supérieure de Cachan
Intervenants : John Mitchell (Stanford Unviersity), Ran Canetti (Tel Aviv University), Ralf Küsters (Trier University), Véronique Cortier (LORIA), David Basin (ETH Zurich), Andre Scedrov (University of Pennsylvania), équipe Inria SECSI
Inria
Inria.fr
Inria Channel
Centres de recherche Inria