The following tables present the detailed schedule for MOVEP'06. Two views are provided: a weekly view and a daily view. You may want to visit the printer-friendly version of this page in case the tables are not displayed properly.
Note: the technical talk on Verification of Infinite State Probabilistic Systems by Antonín Kučera has been canceled (and does not appear in this schedule).
Invited tutorials, technical talks and the roundtable debate will be given in LaBRI's conference room. Student sessions will take place in building A29. See the venue page for more information on the school location.
| Monday 19 | Tuesday 20 | Wednesday 21 | Thursday 22 | Friday 23 | |
|---|---|---|---|---|---|
| 09:00 | Logics, Automata, and Behavioural Properties of Discrete Event Systems (I) André Arnold |
From Logic to Games (I) Igor Walukiewicz |
Formal Verification of Stochastic Systems (I) Christel Baier |
Software Model Checking via Static and Dynamic Program Analysis (I) Patrice Godefroid |
Controller Synthesis and Implementability Issues Jean-François Raskin |
| 09:30 | |||||
| 10:00 | |||||
| Coffee Break | Coffee Break | Coffee Break | Coffee Break | ||
| 10:30 | Coffee Break | ||||
Logics, Automata, and Behavioural Properties of Discrete Event Systems (II) André Arnold |
From Logic to Games (II) Igor Walukiewicz |
Formal Verification of Stochastic Systems (II) Christel Baier |
Software Model Checking via Static and Dynamic Program Analysis (II) Patrice Godefroid |
||
| 11:00 | Formal Methods and Reliability Engineering Antoine Rauzy |
||||
| 11:30 | |||||
| 12:00 | Lunch Break | Lunch Break | Lunch Break | Lunch Break | |
| 12:30 | Lunch Break | ||||
| 13:00 | |||||
| 13:30 | |||||
| 14:00 | Modeling and Analysis of Hybrid Control Systems (I) Karl H. Johansson |
Testing, Optimization and Games Mihalis Yannakakis |
Student Session 3 | Formal Verification of Cryptographic Protocols (I) Steve Kremer |
|
| 14:30 | Roundtable Debate Formal Methods in Industry: Myths or Reality? |
||||
| 15:00 | |||||
| Coffee Break | Coffee Break | ||||
| 15:30 | Coffee Break | Coffee Break | |||
Modeling and Analysis of Hybrid Control Systems (II) Karl H. Johansson |
Formal Verification of Cryptographic Protocols (II) Steve Kremer |
||||
| 16:00 | Model Checking with Message Sequence Charts Doron A. Peled |
Free Time | |||
| 16:30 | Coffee Break | ||||
| 17:00 | Coffee Break | Coffee Break | End | ||
| Student Session 4 | |||||
| 17:30 | Student Session 1 | Coffee Break | |||
| 18:00 | Student Session 2 | ||||
| School Dinner | |||||
| 18:30 | Welcome Reception | ||||
| 19:00 | Music Day |
| 09:00–10:15 | Logics, Automata, and Behavioural Properties of Discrete Event Systems (I) André Arnold |
|---|---|
| 10:15–10:45 | Coffee Break |
| 10:45–12:00 | Logics, Automata, and Behavioural Properties of Discrete Event Systems (II) André Arnold |
| 12:00–14:00 | Lunch Break |
| 14:00–15:15 | Modeling and Analysis of Hybrid Control Systems (I) Karl H. Johansson |
| 15:15–15:45 | Coffee Break |
| 15:45–17:00 | Modeling and Analysis of Hybrid Control Systems (II) Karl H. Johansson |
| 17:00–17:30 | Coffee Break |
| 17:30–18:40 | Student Session 1 |
| 19:00– | Welcome Reception |
| 09:00–10:15 | From Logic to Games (I) Igor Walukiewicz |
|---|---|
| 10:15–10:45 | Coffee Break |
| 10:45–12:00 | From Logic to Games (II) Igor Walukiewicz |
| 12:00–14:00 | Lunch Break |
| 14:00–15:30 | Testing, Optimization and Games Mihalis Yannakakis |
| 15:30–16:00 | Coffee Break |
| 16:00–17:30 | Model Checking with Message Sequence Charts Doron A. Peled |
| 17:30–18:00 | Coffee Break |
| 18:00–19:10 | Student Session 2 |
| 09:00–10:15 | Formal Verification of Stochastic Systems (I) Christel Baier |
|---|---|
| 10:15–10:45 | Coffee Break |
| 10:45–12:00 | Formal Verification of Stochastic Systems (II) Christel Baier |
| 12:00–14:00 | Lunch Break |
| 14:00–15:35 | Student Session 3 |
| 15:35–16:00 | Coffee Break |
| 16:00–19:00 | Free Time |
| 19:00– | Music Day |
| 09:00–10:15 | Software Model Checking via Static and Dynamic Program Analysis (I) Patrice Godefroid |
|---|---|
| 10:15–10:45 | Coffee Break |
| 10:45–12:00 | Software Model Checking via Static and Dynamic Program Analysis (II) Patrice Godefroid |
| 12:00–14:00 | Lunch Break |
| 14:00–15:15 | Formal Verification of Cryptographic Protocols (I) Steve Kremer |
| 15:15–15:45 | Coffee Break |
| 15:45–17:00 | Formal Verification of Cryptographic Protocols (II) Steve Kremer |
| 17:00–17:15 | Coffee Break |
| 17:15–18:25 | Student Session 4 |
| 18:30– | School Dinner |
| 09:00–10:30 | Controller Synthesis and Implementability Issues Jean-François Raskin |
|---|---|
| 10:30–11:00 | Coffee Break |
| 11:00–12:30 | Formal Methods and Reliability Engineering Antoine Rauzy |
| 12:30–14:30 | Lunch Break |
| 14:30–16:30 | Roundtable Debate Formal Methods in Industry: Myths or Reality? |
| 16:30–17:00 | Coffee Break |
| 17:00 | End of MOVEP'06 |
A welcome reception will be held on Monday 19th at 7pm in the Patio of the Haut-Carré building (highlighted in yellow on the synthetic campus map).
The school dinner will take place on Thursday 22nd evening in a nearby red wine Château. The buses will leave the campus at 7pm.
