There will be a meeting of STP in St Andrews on 13 October 2006, in the School of Computer Science, Jack Cole Building, Room 1.33, North Haugh, St Andrews, from 2.00 to 5.35 pm, preceded by lunch.
Directions to St Andrews are available here. The Jack Cole Building is number 13a on the campus map. Free parking is available nearby.
This schedule is provisional.
A sandwich lunch will be provided for those who let us know by Monday 9 October.
James Brotherston (Laboratory for Foundations of Computer Science, University of Edinburgh)
Edwin Brady (School of Computer Science, University of St Andrews)
Murdoch Gabbay (School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh)
Coffee and tea in Common Area (Ground Floor).
Raúl Monroy (Computer Science Department, ITESM, Mexico, and Centre for Intelligent Systems and their Applications, University of Edinburgh)
Randy Pollack (Laboratory for Foundations of Computer Science, University of Edinburgh)
This seminar was organised by Roy Dyckhoff, James McKinna and Robert Rothenberg.
This page was last modified on Thursday 12 October 2006 15:48:23.