Il y a 1 Résultats avec le mot clé : "LSV"

© INRIA / Sophie Auvin

Colloquium

SECSI Colloquium

17/03/2011 au 18/03/2011

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

Mots-clés :

Accueil > Centre > Saclay > Agenda > SECSI Colloquium

Lire la suite

Haut de page