Sites Inria

There are 1 Results with the keyword : "SECSI project-team"

© INRIA / Sophie Auvin

Colloquium

SECSI Colloquium

17/03/2011

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

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

Keywords:

Home > Centre > Saclay > Calendar > SECSI Colloquium

Read more

Top