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


Past Meetings, 2013

56: 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

55: 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

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)