Joint meeting with Fun in the Afternoon.
Seminar room LT14.15, Livingstone Tower, 26 Richmond Street, Glasgow.
11.30-12.00 Paul Cockshott (Glasgow)
Lino and the SCC
12.00-12.30 Jamie Gabbay (Heriot-Watt)
TBA
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)
TBA
18.00-18.45 pub (not far from the department)
19.00-? dinner (Chinese, not far from either station)