wiki:Past/2017

Version 14 (modified by Ben Lippmeier, 7 years ago) (diff)

--

Past Meetings, 2017

90: 25th January

91: 22nd February

  • Erik de Castro Lopo: Hey Dude, Where's my Heap?
  • Louis Pan: Composable Glazier widgets with ReactJS
  • Amos Robinson: Sooner and later: schema specialisation with staged computation

92: 22nd March

93: 26th April

94: 24th May

95: 28th June

  • Coq Fight Night

96: 26th July

97: 23rd August

  • Amos Robinson: Merging Merges, more or less.
  • Rob Everest: Streaming Irregular Arrays
  • Sharif Olorin: Field guide to writing and using cryptosystems in Haskell

98: 27th September

  • Thomas Sutton: Tree edit distance
  • Tom Sewell: Monads for replaying proofs in Isabelle