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

• ​Brisbane Functional Programming Group
• ​Melbourne Functional Programming Union
• ​Perth Functional Programming Meetup
• ​Wellington Functional Programming UG
• more...

More Information

• Members
• Programme Setup
• Past meetings: 2008, 2009, 2010, 2011, 2012, 2013
• ​File storage for logos, past talks, etc.
• See ​FP-Syd Google Group for questions, venue information, and to get an account on this wiki.

Programme

• All Tickets

• Talk Requests
• Talk Offers

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
• Boey Maun Suang (-November, -August)
• Rob Everest

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.