SPLS Meeting: Thursday 1st June 2006

Location

International Centre for Mathematical Sciences
14 India Street, Edinburgh

Time

Programme

• 13.30
  Sam Lindley, Jeremy Yallop and Ezra Cooper, University of Edinburgh
  Links
• 14.30
  Wim Vanderbauwhede, University of Glasgow
  Gannet
• 15.15 Coffee break
• 15.30
  DeLesley Hutchins, University of Edinburgh
  Subtyping and partial evaluation
• 16.15
  Simon Gay, University of Glasgow
  Where are the big theories in computer science?
• 17.00 Oxford Bar