SPLS Meeting: Thursday 1st June 2006
Location
International Centre for Mathematical Sciences
14 India Street, Edinburgh
Time
13.30 - 17.00
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