Final Review
------------

- in Bruxelles, 4 hours, start around at 10.

- Presentation structure
  ----------------------

	
	

	1. Introduction	45' (presented by Amsterdam)
		what Wolfgang said

			- show guidline
			- issuer, quality, Majic
			- 2 unclear issues:
				dosage (folklore?, books?
						  need for precision)
				idicator (unclear whether
						  satisfied? Is not,
						  at least not always,
						  details later
			- suppose we had a technology to answer these questions
			  This is the subject of the project: exploring
			  techniques to systematically analyse protocols
			  techniques from SE and AI, Formalisation,
			  Simulation and Proof
			- Motivation of the techniques
                          music notes + notation & analysis
			  plans as programs
			- results: written two full-scale protocols,
				   applied n techniques
				   uncoverd m flaws, interpreted by 3 medical
				   experts
				
				   
                          
		related work according to reviewers (known in advance)
		picture introducing some deliverables
		results

	2. Modeling D1 + D3, 45', Mar, Andi 

	3. Formal Semantics + Verification, D2, D3', D4  presented by Augsburg

	4. Final presentation (looking into the future), 30', presented by Kitty
	   and Augsburg.
	   - suppose we had the technology integrated
           - possible applications


	Dates:
	
	24th January, 6th February, 7th February
  
	

        Slides distributed  till Monday 13th, Teleconf.