Plan for Brunel VASTT meeting with Martin Ward 4th and 5th June 2001

Held in the department of Information systems and computing, St. John's building,
Brunel University.


Monday 4th June
(times are approximate due to vagaries of BA, lunch duration etc.)
(Rob may be a late; he has to invigilate; not a great fate.)

11.00am Coffee: Departmental coffee lounge
11.30am SJ008 : Fermat Tutorial 
                How to write transformations using MetaWSL
		Martin Ward, DeMontfort, SML
		
move over for lunch at 1.30 (ish)

1.30pm Lunch : SCR		

2.30pm (ish) SJ004 : Mark Harman, Brunel
            Some transformations steps and tactics we seem to 
	    find ourselves using/wanting.
	    
3.30pm 	SJ004 : Lin Hu, Brunel
                Side effect removal
		    
4.00pm tea/coffee: Departmental coffee lounge
4.30pm SJ004 : Martin Ward, DeMontfort, SML
            
6.30pm : close with set of open questions of the `how do we use Fermat to ...'
 
8.00pm (ish) Meal at Nona Rosa


---oooOooo---


Tuesday 5th July

9.00am Coffee: Departmental coffee lounge
9.30am SJ004 : Conditioned slicing
               Chris Fox, KCL
	    
10.30am SJ004 : Detecting equivalent mutants using amorphous slicing
                Rob Hierons, Brunel
	     	    

11.30am SJ004: Program schematology
               Sebastian Danicic, Goldsmiths
	   
	    

12.30 (partial) Wrap up: possible collaboration suggestions



Parallel sessions:-
TRACK ONE
12.30 (ish) set off for central London 
2pm-6pm Science Museum for the Hoare/Landin/Stoy reminiscences thing.
       
TRACK TWO
12.30 (ish) set off for central Brunel
12.40 (ish) lunch : SCR
	
2pm Working session
    (for those not interested in the archaelolgy of academic computation)	
    Using Fermat to construct
    
      Amorphous slices
      Conditioned slices
      Amorphous conditioned slices
      Semantic slices
      Denotational Semantics via program transformation (only kidding)

6pm (ish) Finish



In case of difficulties finding the meeting, call Mark on his mobile phone: 07949 138 611