PROTOCURE - Augsburg meeting

Protocure kick-off meeting
Place: Augsburg
Dates: November 26 - 29, 2001

Agenda

Monday 26	Tuesday 27	Wednesday 28	Thursday 29	Friday 30
PRESENTATION & RECENT ADVANCES	PROTOCURE WPs PLANNING	KIV HANDS-ON	KIV HANDS-ON
10:00 - 10:30: Presentation by A'dam/Augsburg: Welcome and practical announcements  10:30 - 11:00: Presentation by A'dam: Protocure facts  * goals & evaluation criteria * WPs & distribution of work  11:00 - 12:00: Presentation by A'dam: Report on modelling protocols (illustrated with jaundice)	10:00 - 10:30: Presentation by CBO   10:30 - 12:00: Working session (coord. by Vienna): Dealing with WP1-selection and modelling of reference protocols.	10:00 - 11:00: Presentation by Augsburg: Using KIV to Verify Asbru plans-Overview  11:00 - 12:00: Presentation by Augsburg: Specification and Verification of Parallel Programs	10:00 - 11:00: Presentation by Augsburg: Specification and Verification of Asbru plans  11:00 - 12:00: Working session: KIV hands-on session
12:00 - 13:00 lunch	12:00 - 13:00 lunch	12:00 - 13:00 lunch	12:00 - 13:00 lunch
13:00 - 14:00: Presentation by A'dam: Report on paper about uncovering errors in protocols by formalisation 14:00 - 15:00: Presentation by Vienna: Report on tool & language developments 15:00 - 16:00: Presentation by A'dam + demo: Report on interpreter for Asbru Light  16:00 - 17:00:  Presentation by A'dam/Augsburg: Report on KIV formalisation/verification	13:00 - 14:30: Working session (coord. by Vienna): Dealing with WP2-formal semantics and verification properties.  14:30 - 15:30: Working session (coord. by Augsburg): Planning WP3-KIV formalisation of reference protocols  15:30 - 17:00: Management board meeting (coord. by A'dam): Organisational matters  * management board  * project staff  * consortium agreement  * publication plan  * website & logo  * next meetings	13:00 - 15:30: Working session: KIV hands-on session  16:00 - 17:00:  KIV installation	13:00 - 15:00: Working session: KIV hands-on session

Back to top