PROTOCURE - Utrecht meeting

Protocure meeting
Place: Utrecht
Dates: February 14 - 15, 2002

Agenda

Monday 11	Tuesday 12	Wednesday 13	Thursday 14	Friday 15
			Andi, Christoph, Michael, and Silvia arrive in the morning	Wolfgang leaves at noon
			RECENT ADVANCES	MORE ADVANCES + "BORED" MEETING + PLANNING OF NEXT TASKS
			9:30 - 10:00: Arrival & coffee 10:00 - 10:30: Presentation by CBO/A'dam: Introduction to the meetings (see Protocure follow-up)  10:30 - 12:00: Presentation by Vienna/A'dam: Report on the process of selection and modelling of reference protocols (WP1)	9:00 - 10:00: Presentation by CBO/A'dam: Report (2 of 2) on verification properties (WP2)  10:00 - 11:00: Presentation by A'dam: Report on KIV formalisation of jaundice protocol (WP3)  11:00 - 12:00: Board meeting (coord. by A'dam): Organisational matters  * staff changes * cost statements * deliverables * next meetings
			12:00 - 13:00 lunch	12:00 - 13:00 lunch
			13:00 - 14:00: Presentation by A'dam/CBO: Report on the completion of the modelling of diabetes protocol (WP1)  14:00 - 15:00: Presentation by Augsburg: Report on the formal semantics of main Asbru elements (WP2)  15:00 - 16:00: Working session (coord. by Augsburg): Dealing with the formal semantics of remaining elements (WP2)  16:00 - 17:00: Presentation by Vienna: Report (1 of 2) on verification properties (WP2)	13:00 - 14:00: Presentation by Augsburg: Analysis of KIV formalisation process  14:00 - 15:00: Working session (coord. by Augsburg): Dealing with rest of WP3 - KIV formalisation of reference protocols  15:00 - 16:00: Working session (coord. by A'dam): Planning WP4 - Verification of reference protocols  16:00 - 17:00: Working session (coord. by Vienna/Augsburg): Preparation of first deliverables (see Protocure follow-up)
			19:00: Social event: Dinner at Utrecht	17:00: Social event: Closing drink

Back to top