wiki:WikiStart

Version 152 (modified by Ben Lippmeier, 11 years ago) (diff)

--

Functional Programming Sydney

  • We are a seminar and social group for people in Sydney, Australia interested in Functional Programming.
  • We're interested in Clean, Erlang, F#, Haskell, LISP, Mercury, Ocaml, Scala, Scheme, and more.
  • We also have a contingent interested in theorem provers such as Coq and Isabelle.
  • Meetings are held on either the last or second last Wednesday evening of each month.
  • The first meeting took place in February 2008 and we regularly get 20-30 attendees.
  • Anyone who is interested is welcome to come along.

Related Australasian Groups and Hacker-friendly Events

More Information

Programme

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

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

28th August

  • Julian Gamble
  • Tom Sewell
  • Sean Seefried

25th September

  • George Roldugin
  • Shane Stephens
  • Ben Sinclair

23rd October

  • Karl Roberts
  • Raphael Speyer
  • Thomas Sutton.

27th November

  • Speaker to be announced.
  • Speaker to be announced.
  • Speaker to be announced.