Schedule

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.

Weekly View

Monday 19Tuesday 20Wednesday 21Thursday 22Friday 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

Daily View

Monday 19th

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

Tuesday 20th

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

Wednesday 21st

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

Thursday 22nd

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

Friday 23rd

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

Social Events

Welcome Reception

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).

School Dinner

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.