Next: Schema Resources Up: Linear Schemas for Program Previous: Third Schema Meeting (30
Venue: Goldsmiths (Seminar Room - Ground Floor Building with Squiggle)
Attendees:
| 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 |