SPLS Meeting: Wednesday 24th November 2010

Joint meeting with Fun in the Afternoon.


Seminar room LT14.15, Livingstone Tower, 26 Richmond Street, Glasgow.


10.00-11.30 arrival, coffee, chat

11.30-12.00 Paul Cockshott (Glasgow)

Lino and the SCC

12.00-12.30 Jamie Gabbay (Heriot-Watt)


12.30-14.00 lunch

14.00-14.30 Satnam Singh (Microsoft Research)

Data Parallel Programming for GPUs and FPGAs in Haskell

14.30-15.00 Patrick Maier (Heriot-Watt)

Seq No More: Better Strategies for Parallel Haskell

15.00-15.30 coffee

15.30-16.00 Robin Green (Swansea)

Beyond Laziness

16.00-16.30 Ohad Kammar (Edinburgh)

Take action for your state

16.30-17.00 coffee

17.00-17.30 Iain McGinniss (Glasgow)

Typestate Languages: A Comparison

17.30-18.00 James Cheney (Edinburgh)


18.00-18.45 pub (not far from the department)

19.00-? dinner (Chinese, not far from either station)