Sites Inria

There are 1 Results with the keyword : "LSV"

© INRIA / Sophie Auvin


SECSI Colloquium


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


Home > Centre > Saclay > Calendar > SECSI Colloquium

Read more