AGENDA THIRD REVIEW MEETING IST-2001-35304 AMETIST
Program of the meeting in Brussels, 23 November 2004

Location: Rue Beaulieu 24, Brussels

10.00-10.30 Private meeting between EC and the experts

10.30-11.00 Overview of project (Frits Vaandrager)

11.00-11.30 Recommendations of last review

11.30-12.00 Model Checker Aided Design of a Controller for a Wafer Scanner (Martijn Hendriks)

12.00-13.30 Lunch break

13.30-14.00 Uppaal: New developments (Gerd Behrmann)

14.00-14.30 Axxom Case Study: New developments (Ed Brinksma)

14.30-16.00 Status of Individual Work Packages
Exploitation and Dissemination
Future Work
Risk Assessment
Possible Next Projects
(WP leaders, all)

16.00-16.30 Private meeting between EC and experts

16.30-17.00 Closing session