SPLS Meeting: Thursday 14 June 2007

The presentations should soon be available!

Introduction

The June 2007 SPLS meeting is the ninth in the Scottish Programming Languages Seminar series.

The meetings are open and interested participants are encouraged to attend.

Location

Second Year Lab,
Jack Cole Building,
School of Computer Science,
University of St Andrews,
North Haugh,
St Andrews,
Fife.

Details of how to find the building can be found here. There is also a map.

Programme

The programme is now available as a pdf from here.

• 12:30 Coffee/Lunch/Welcome
 
• 13:00 Phil Wadler, University of Edinburgh
  Well-typed programs can't be blamed
• 13.45 Steve Linton, University of St Andrews
  The GAP type system
• Steve's talk
• 14.05 Christoph Herrmann, University of St Andrews (slides published on Herrman's webpage)
  Type construction by metaprogramming
 
• Coffee break
• 14:45 Conor McBride, Univesity of Nottingham
  Clowns to the left of me, jokers to the right
• 15:15 Alistair Donaldson, Codeplay
  The Sieve Parallel Programming System
• 15:45 Sam Lindley, University of Edinburgh
  Extensional rewriting with sums
• 16:15 Bin Li, University of Glasgow
  Abstract: Title to be confirmed
• The talk
• 16.40 Close
• 17.00 Pub Tour/Dinner?

Contact

Charlotte Bjuren
Kevin Hammond
School of Computer Science