Sites Inria

Colloquium

SECSI Colloquium

© INRIA / Sophie Auvin

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).

  • Date : 17/03/2011 au 18/03/2011
  • Lieu : École Normale Supérieure de Cachan
  • Intervenant(s) : 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
  • Organisateur(s) : LSV

Localisation

Mots-clés : Equipe SECSI LSV Saclay - Île-de-France

Haut de page