Next: Third Schema Meeting (30 Up: Linear Schemas for Program Previous: Decidability of Freeness
Venue: Goldsmiths (Seminar Room - Ground Floor Building with Squiggle)
Attendees:
| Sebastian Danicic |
| Chris Fox |
| Mark Harman |
| Rob Hierons |
| John Howroyd |
| Michael Laurence |
| Lahcen Ouarbya |
| 10-10.30 | Coffee etc.(to be arranged by Mike - so who knows!) |
| 10.30-11.15 | Sebastian Danicic (Towards Decidability of Freeness) |
| 11.15-12.00: | Chris Fox (Formal Language Theory and Schemas) |
| 12.00-2.00: | Discussion and Lunch |
| 2.00-2.30: | Rob Hierons (Dynamic Slicing of Schemas) |
| 2.30-3.00 | Mark Harman (Towards Minimal Slicing of Free Schemas using Unfolding) |
| 3.00-3.30 | Lahcen Ouarbya (Some New Lemmas) |
| 3.30-4.00 | Mike Laurence (Slicing `Nearly' Near Liberal Schemas) |