Plan for VASTT meeting

December 3rd 2001 at Goldsmiths

WSL slicing and Transformation Workshop

10am coffee

10.30am Lahcen Ouarbya
        Interprocedural slicing for WSL:
	A recursive syntax-directed approach 
	
11.30am Martin Ward
	Interprocedural slicing for WSL:
	A static single assignment based approach
	
12.30 (ish)
Lunch


2pm: Lin Hu
     Interprocedural Amorphous Slicing for WSL	
     
3pm: Mark Harman
     Testability Transformation
     
3.30pm: tea break

4pm: Dave Daoudi
     Conditioned slicing
     
5pm: Discussion
     Comparisons,
     Future work priorities
     Funding
     Publications
     Forthcoming events  


7.30pm: drinks and meal in the Thailand
(let Sebastian Know if you are going)           



How to get to Goldsmiths:

The Department of Mathematical and Computing Sciences is 
located at 25 St James, off New Cross Road (part of the A2). 

Maps and travel information are available from the college web pages. 
http://www.goldsmiths.ac.uk/gcexp/cmapfrm.html

The department is in a Victorian town house 
[In the map at http://www.goldsmiths.ac.uk/gcexp/cmapfrm.html it is 
just to the left of the building marked as 11 (Laban center).]

If you get lost call Mark on 07 949 138 611

If you think it's hard to find, try coming to a VASTT meeting at Kings college,
some people are still there from the previous meeting trying to find their
way out.