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 the third Thursday 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

• ​Brisbane Functional Programming Group
• ​Melbourne Functional Programming Union
• ​Wellington Functional Programming UG

More Information

• Members
• Programme Setup
• ​FP-Syd Google Group
• Past meetings: 2008, 2009, 2010, 2011

• Video Streaming on the Night

Programme

• All Tickets

• Talk Requests
• Talk Offers
• Event Ideas
• Tasks

17th November

• Sean Seefried, Generic Matrix Multiplication (lightning talk)
• Richard Garner, Dependent Types (longer talk)
• Ben Sinclair, A certified adder in Agda

16th February

• Eric Willigers
• Raphael Speyer
• Eric Torreborre, The Essence of the Iterator Pattern
• Speaker 4, Talk title (if known)