CAV Schedule
Please click on the name of a day to get the complete schedule for the day.03.07.2007 |
04.07.2007 |
05.07.2007 |
06.07.2007 |
07.07.2007 |
|||||
Time |
Program |
Time |
Program |
Time |
Program |
Time |
Program |
Time |
Program |
08:45-09:00 |
Welcome |
||||||||
09:00-10:30 |
Tutorial 1+2 |
09:00-10:00 |
Invited Talk: Byron Cook |
09:00-10:00 |
Invited Talk: |
09:00-10:00 |
Invited Talk: |
09:00-10:00 |
Session XIII: Assume-Guarantee Reasoning |
10:30-11:00 |
Coffee |
10:00-10:30 |
Coffee |
10:00-10:30 |
Coffee |
10:00-10:30 |
Coffee |
10:00-10:30 |
Coffee |
11:00-12:30 |
Tutorial 1+2 |
10:30-11:30 |
Session I: Compositionality |
10:30-12:15 |
Session VI: Shapes |
10:30-11:30 |
Session IX: Parallelisation |
10:30-12:00 |
Session XIV: Hybrid Systems |
11:30-12:30 |
Session II: Verification Process |
11:30-12:30 |
Session X: Constraints and Decisions |
12:00-12:30 |
Presentation of results: HW-MC-COMP |
||||
12:30-14:00 |
Lunch |
12:30-14:00 |
Lunch |
12:15-13:45 |
Lunch |
12:30-14:00 |
Lunch |
12:30-14:00 |
Lunch |
14:00-15:30 |
Tutorial 3+4 |
14:00-15:30 |
Session III: Timed Synthesis and Games |
13:45-15:00 |
Session VII: Concurrent Programm Verification |
14:00-15:30 |
Session XI: Probabilistic Verification |
14:00-14:15 |
Presentation of Results: |
15:30-16:00 |
Coffee |
15:30-16:00 |
Coffee |
15:00-15:30 |
Session VIII: Reactive Designs |
15:30-16:00 |
Coffee |
14:15-15:45 |
Session XV: |
16:00-17:30 |
Tutorial 3+4 |
16:00-17:00 |
Session IV: Infinite State Verification |
15:30-16:00 |
Coffee |
16:00-18:00 |
Session XII: Abstraction |
15:45-16.15 |
Coffee |
17:00-18:00 |
Session V: Tool Environments |
16:15-17.45 |
Session XVI: |
||||||
18:00-19:00 |
Business Meeting |
17:45-18:00 | End | ||||||
19:00-open |
Reception |
20:00-open |
PC Dinner |
17:00-open |
Excursion/Banquet |
20:00-open |
SC Dinner |
||
Please click on the name of a day to get the complete schedule for the day.