Proof Planning and Mixed Initiative Planning

13-May-2002, 10:30am, F13, 80 South Bridge
Organisers: Alan Smaill and Alan Bundy

Some of the Informatics folks involved in the Workshop on Proof Planning and Mixed Initiative Planning, 13-May-2002, Edinburgh. The third event run by PEA Pod. Large image here.


Speakers were:

Attendees were:

Alan Bundy (CISA), Bill Ellis (Heriot-Watt), Julian Richardson (Heriot Watt), Jessica Chen-Burger (CISA), John Levine (CISA), Austin Tate (CISA), Roy McCasland (Visitor to CISA/MRG), Henrik Westerberg (CISA), Fiona McNeill (CISA), Ewen Maclean (CISA), Paul Jackson (ICSA), Chris Mellish (CISA), Stephen Cresswell (Durham) [14 in total]

Page maintained by Austin Tate, Updated: Thu Feb 6 12:49:09 2003
Free pea pod clip art from Don's Kitchen.