Lundi 17 juin #

13:00 - 14:00 : Accueil - Café

14:00 - 17:00 : Raffinement (Christian Attiogbe)

  • 14:00 - 14:50 : Paulin Fournier (ClearSy) : Raffinement : de la théorie à la pratique industrielle
  • 14:50 - 15:40 : Arnaud Lanoix (LS2N) : Event-B probabiliste : preuves et raffinement
  • 15:40 - 16:10 : Pause café
  • 16:10 - 17:00 : Jean-Paul Bodeveix (IRIT) : Vérification de la propriété de stabilisation du protocole distribué Chord

17:15 - 18:30 : Exposés courts

Mardi 18 juin #

9:00 - 12:00 : Bioinformatique (Loïc Paulevé)

  • 9:00 - 9:50 : Blaise Genest (IRISA) : Approximated Model-Checking to analyse a large quantitative model of the apoptosis pathway
  • 9:50 - 10:20 : Pause café
  • 10:20 - 11:10 : Jean Krivine (IRIF) : Extension Basis: fully Dynamic enumeration of graph patterns in rule based models
  • 11:10 - 12:00 : Loïc Paulevé (LaBRI) : Most Permissive Boolean Networks: Reconciling Qualitative and Abstract Reasoning on Dynamics

12:00 - 14:00 : Déjeuner

14:00 - 17:00 : Vérification paramétrée (Laure Petrucci)

  • 14:00 - 14:50 : Benedikt Bollig (LSV) : Identifiers in Registers - Describing Network Algorithms with Logic
  • 14:50 - 15:40 : Laure Petrucci (LIPN) : Minimal-Time Synthesis for Parametric Timed Automata
  • 15:40 - 16:10 : Pause café
  • 16:10 - 17:00 : Olivier H. Roux (LS2N) : Model-checking real-time systems with Roméo

17:15 - 18:30 : Exposés courts

Mercredi 19 juin #

9:00 - 12:00 : Contraintes (Charlotte Truchet)

  • 9:00 - 9:50 : Charlotte Truchet (LS2N) et Ghiles Ziat (LIP6) : Programmation par contraintes et interprétation abstraite
  • 9:50 - 10:20 : Pause café
  • 10:20 - 11:10 : Nadjib Lazaar (LIRMM) : Multiple fault localization using constraint programming and pattern mining
  • 11:10 - 12:00 : Sylvain Conchon (LRI) : Vérification de systèmes paramétrés avec Cubicle

12:00 - 14:00 : Déjeuner

Add new attachment

Only authorized users are allowed to upload new attachments.
« This page (revision-21) was last changed on 12-juin-2019 12:07 by Didier Lime