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