PROTOCURE - Vienna meeting

Protocure meeting
Place: Vienna
Dates: May 6 - 7, 2002

Back to resources & publications

Agenda

(You can click on the different topics to access to the material used in the meetings)


Monday 6 Tuesday 7 Wednesday 8 Thursday 9 Friday 10
Annette, Frank, Mar, and Vincent arrive in the morning        
RECENT ADVANCES
 MORE ADVANCES + PLANNING OF NEXT TASKS + "BORED" MEETING
 
 
 

10:00 - 10:30:
Arrival & coffee

10:30 - 11:00:
Presentation by Vienna/A'dam: Introduction to the meetings

11:00 - 12:00:
Presentation by Vienna: Report on KIV formalisation of diabetes protocol (WP3)


9:00 - 9:30:
Presentation by Augsburg: Report on the reviewed formal semantics of main Asbru elements (WP2) 

9:30 - 10:30:
Working session (coord. by Augsburg): Formal semantics of cyclical plans (WP2) 

10:30 - 11:30:
Presentation by Augsburg: Report on recent KIV developments and future plans 

11:30 - 12:00:
Board meeting (coord. by A'dam) (see also Frank's notes) 

     
12:00 - 13:00 lunch
12:00 - 13:00 lunch
      

13:00 - 14:00:
Working session (coord. by Vienna): KIV formalisation of diabetes protocol (WP3) 

14:00 - 15:00:
Presentation by Vienna (by P. Votruba): Report on Vienna's Guideline Markup Tool 

15:00 - 16:00:
Presentation by A'dam (by V. Heijmer): Report on the Asbru modelling of a guideline for oesophageal carcinoma 

16:00 - 17:00:
Presentation by CBO: Report on more protocol-dependent verification properties: diabetes properties and jaundice indicators (WP2/WP4) 


13:00 - 14:00:
Presentation by Augsburg/A'dam/Aberdeen: Report on verification of jaundice protocol (WP4) 

14:00 - 15:00:
Working session (coord. by A'dam): Dealing with rest of WP4 - Verification of reference protocols 

15:00 - 16:00:
Working session (coord. by CBO): Planning WP5 - Evaluation (see also Frank's notes) 

     
19:00: Social event: ???        

Back to top

Mar Marcos
Last modified: Tue Jul 2 19:55:56 CEST 2002