![]() |
Edinburgh PEA Pod |
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.
Objective:
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]