Version 12 (modified by Ben Lippmeier, 9 years ago) (diff)


Past Meetings, 2013

56: 26th June

  • Andrew Cowie, Conflict-free replicated data types, Consensus algorithms, and the Cloud
  • Tony Sloane, Proof-Directed Debugging
  • Tran Ma, Parallel Cellular Automata in Haskell

55: 24th July

  • Mark Wotton, My editor is better than your editor
  • Rob Everest, Accelerate and the outside world: Interfacing Accelerate with low-level CUDA
  • Ben Lippmeier, Internalizing the effect judgement in DDC

54: 29nd May

53: 24th April

52: 27th March

  • Erik de Castro Lopo: Persistent and Esqueleto
  • Eric Torreborre: Kiama, a walk down the beach
  • Liam O'Connor-Davis: Type Theory is Proof Theory

51: 27th February

--: January (no meeting)