Sites Inria

Version française


SECSI Colloquium

© INRIA / Sophie Auvin

The Specification and Verification Laboratory (LSV, Laboratory de Spécification and Verification) at ENS Cachan is organising a two-day colloquium with conferences featuring invited speakers and the ASR thesis defences of three members of the SECSI team (Stéphanie Delaune, Steve Kremer and Graham Steel).

  • Date : 17/03/2011
  • Place : École Normale Supérieure de Cachan
  • Guest(s) : ohn 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
  • Organiser(s) : LSV

Keywords: SECSI project-team LSV Saclay - Île-de-France