Second Schema Meeting (2 February 2007)

Date: 10 am 2 Febrary 2007.

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

Attendees:
Sebastian Danicic
Chris Fox
Mark Harman
Rob Hierons
John Howroyd
Michael Laurence
Lahcen Ouarbya

Agenda:
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)



s.danicic@gold.ac.uk
Seb's Home Page
Last updated 2007-04-30