1. Home
  2. agenda
  3. Workshop on the 20th Anniversary of LSV
Registration
You would like to participate to this event
Register
Contacts

Workshop on the 20th Anniversary of LSV

CC0 Public Domain
The Laboratoire Spécification & Vérification (LSV) organizes a two-day workshop to celebrate LSV's 20th anniversary. The event is open to the public and free, but registration is required for logistical purposes (please register before April 30th).
Du 11/05/2017 (09:30) au 12/05/2017 (16:00)
Ajouter à mon agenda 2025-05-13 00:13:12 2025-05-13 00:13:12 Workshop on the 20th Anniversary of LSV The Laboratoire Spécification & Vérification (LSV) organizes a two-day workshop to celebrate LSV's 20th anniversary. The event is open to the public and free, but registration is required for logistical purposes (please register before April 30th).
 Marie Curie amphitheater ENS-PARIS-SACLAY webmaster@ens-paris-saclay.fr Europe/Paris public

Program

Thursday, May 11, 2017

09:30 Registration -- Coffee
10:00 Welcome at ENS Paris-Saclay : Pierre-Paul Zalio, Keitaro Nakatani
10:15 Javier Esparza (Technische Universität München) : Verification of population protocols Abstract
11:15 François Laroussinie (IRIF - Université Paris Diderot & CNRS) : Quantified CTL Abstract

12:00 Lunch -- Hall Villon, ENS Paris-Saclay

13:30 Jean-François Raskin (Université Libre de Bruxelles) : Assume Admissible Synthesis Abstract
14:30 Véronique Cortier (LORIA - CNRS) : Secure composition of security protocols Abstract
15:15 Luc Segoufin (INRIA & ENS Paris-Saclay) : Verification of database driven systems Abstract
16:00 Coffee break
16:30 Pierre-Alain Reynier (LIF - Université Aix-Marseille & CNRS) : Simplification of transducers: removing two-wayness and non-determinism Abstract
17:15 Alain Finkel (LSV - ENS Paris-Saclay & CNRS)
18:00 Michel Bidoit (CNRS) - Antoine Petit (INRIA) : Quelques petites phrases et photos, 20 ans après
19:00 Dinner -- Hall Villon, ENS Paris-Saclay

Friday, May 12, 2017

09:30 Madhavan Mukund (Chennai Mathematical Institute) :Replicated data, from practice to theoryAbstract
10:30 Nathalie Bertrand (INRIA, Rennes) :Controlling a population of NFA Abstract
11:15 Coffee Break
11:30 Graham Steel (Cryptosense) : Verification of Crypto Security in Practice Abstract
12:15 Gilles Dowek (INRIA & ENS Paris-Saclay)

13:00 Lunch -- Hall Villon, ENS Paris-Saclay

14:30 Etienne André (LIPN, Université Paris 13 & CNRS) : Verification of real-time systems under uncertainty Abstract
15:15 Sylvain Schmitz (LSV - ENS Paris-Saclay & CNRS) : Complexity Analysis for Termination by a Well-Quasi-Order Abstract
16:00 Closing

Venue

The workshop will take place at Ecole normale supérieure Paris-Saclay, in the Amphitheatre Marie Curie on the ground floor of the d'Alembert building. To get to the Amphitheatre Marie Curie, go up the horseshoe driveway, and turn left. Read general access information to the LSV.

Organization

The organization committee consists of Patricia Bouyer-Decitre, Stéphane Demri, Laurent Fribourg, Alexis Goudou, Virginie Guénard, Francis Hulin-Hubard.

Sponsors

This event is financially supported by CNRS-INS2I, ENS Paris-Saclay, Inria

 

Print page