Fourth Schema Meeting (18 May 2007)

Date: 10 am 18 May 2007.

Venue: Goldsmiths (Seminar Room - Ground Floor Building with Squiggle)

David Clark
Sebastian Danicic
Chris Fox
Mark Harman
Rob Hierons
John Howroyd
Michael Laurence
Lahcen Ouarbya

10-10.30 Coffee
10.30-11.15 David Clark: Abstract Interpretation Tutorial (2 of 4)
11.15-12.00: Rob Hierons: Dynamic Path Slicing of Schemas
12.00-2.00: Lunch
2.00-3.00: Mike Laurence: Progress Report
3.00-4.00 Coffee and Discussion
Seb's Home Page
Last updated 2007-04-30