wiki:WikiStart

Version 303 (modified by benl, 3 weeks 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 usually held on the fourth Wednesday of each month at Atlassian.
  • Meetings are announced on the mailing list
  • The first meeting took place in February 2008 and we regularly get 20-30 attendees.
  • Anyone who is interested is welcome to come along.

More Information

Related Australasian Groups and Hacker-friendly Events

Program (2019)

FP-Syd is held on the fourth Wednesday of each month.

This is a DRAFT schedule. The people assigned to months are free to swap around with others. We can also schedule short talks (15-20 mins) on the fly if you have something interesting to talk about. Email benl at ouroborus.net or erikd at mega-nerd dot com and we'll slot you in.

116: 24th July

  • Geoffrey Huntley: Watch me format my wife's computer.
  • Amos Robinson: Program-carrying Proofs in Coq: using tactics for dependently typed programming.

117: 28th August

  • Sam Roberton: Reflex-FRP in practice.
  • Andrae Muys: Intermediate level DAML development.

118: 25th September

  • Michael Sproul: CakeML for the working programmer.
  • Erik de Castro Lopo: Haskell with PostgreSQL

119: 23rd October

  • Ben Lippmeier: The Why3 theorem proving framework.
  • Rongmin Lu: The differentiable curry and other misadventures in differentiable programming.

120: 27th November

  • Jost Berthold
  • (speaker needed)