Schedule for VASTT meeting
24th July 2001


9.30am Meet for coffee: departmental coffee lounge.


The meeting will be in room SJ004

10am Mike Ernst: An overview of Diakon

We need to be at lunch at 12 noon sharp, 
so we will have to set off at 10 to 12.
Lunch will be in the Darwin Restaurant.

12noon Lunch

2pm: Chris Fox: Backward and Forward Conditioning
3pm: Mark Harman: Introduction to Program Schemas
     John Howroyd: Weiser's algorithm is minimal 
                   for Linear, Free liberal Schemas
		   
4pm: Tea

4.30pm: Derek Jones: Making money from source code analysis		   
		   
5.30(ish) discuss ways of collaborating

7.30: Meal and drinks (Load of Hay pub)