%%block
!!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__
%%
%%block
!!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__

%%
%%block
!!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__
%%