Genova, Italy
February 21 - 24, 2002
MRG (Mechanized Reasoning Group)
DIST, University
of Genova
Viale Causa 13
16145, Genova
Italy
| Thursday, February 21 | ||
|---|---|---|
| 9:45 - 12:30 | Session 1: Technical Meeting Chair:Luca Viganò |
|
| 9:45 - 10:30 | Informal meeting between Freiburg and Genova | |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:45 | Informal meeting between Freiburg and Genova | |
| 11:45 - 12:30 | Yannick Chevalier Sessions declaration in the HLPSL (Session Instances, Roles and Parallel Sessions) |
|
| 12:30 - 14:00 | Lunch | |
| 14:00 - 18:00 | Session 2: Technical Meeting Chair:Alessandro Armando |
|
| 14:00 - 14:30 | Luca Compagna Genova open issues relative to the IF and HLPSL |
|
| 14:30 - 15:00 | Sebastian Mödersheim Freiburg open issues relative to the IF and HLPSL |
|
| 15:00 - 15:30 | Yannick Chevalier Nancy open issues relative to the IF and HLPSL |
|
| 15:30 - 16:00 | Coffee break | |
| 16:00 - 18:00 | Open issues discussion | |
| Friday, February 22 | ||
|---|---|---|
| 9:30 - 12:30 | Session 3: Technical Meeting and Presentations Chair:Luca Viganò |
|
| 9:30 - 11:00 | Open issues conclusion (informal report) | |
| 11:00 - 11:30 | Coffee break | |
| 11:30 - 12:30 | Mohamed Mehdi Bouallagui Web Interface of the AVISS tool |
|
| 12:30 - 14:00 | Lunch | |
| 14:00 - 18:00 | Session 4: Presentations and Discussion Chair:Michael Rusinowitch |
|
| 14:00 - 14:30 | Report of the technical meeting | |
| 14:30 - 14:50 | Nancy Current state of the CL-based Model-Checker |
|
| 14:50 - 15:10 | Freiburg Current state of the On-the-fly Model-Checker |
|
| 15:10 - 15:30 | Genova Current state of the SAT-based Model-Checker |
|
| 15:30 - 16:00 | Coffee break | |
| 16:00 - 18:00 | Status of the project, next deliverables, industrial partners, etc. | |
| Saturday, February 23 | ||
|---|---|---|
| 9:30 - 12:30 | Session 5: Evaluation Meeting workplan Chair: David Basin |
|
| 10:30 - 11:00 | Coffee break | |
| 12:30 - 14:00 | Lunch | |
| 14:00 - 18:00 | Session 6: Full Project Proposal workplan Chair:Alessandro Armando |
|
| 15:30 - 16:00 | Coffee break | |
| 20:00 | Meeting Dinner | |
An informal gathering will take place on the evening of
Thursday, February 21.
A semi-official dinner will take place on the evening of
Friday, February 22.
An official meeting dinner will take place on the evening
of Saturday, February 23, starting at 20:00.
The MRG (Mechanized Reasoning Group) of the DIST (Dipartimento di Informatica Sistemistica e Telematica) of the University of Genova is in the ground floor
of Villa Bonino in Viale Causa, 13
Social Program
Site
Accommodation