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.

More Information

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

Programme

• All Tickets

• Talk Requests
• Talk Offers
• Event Ideas
• Tasks

16th June

• Eric Willigers, ​Type Systems in Theorem Provers
• Raphael Speyer, JoCaml: ​Concurrent Programming with the Join Calculus
• Dominic Verity, ​Category Theory part II (longer talk).

21st July

• Shane Stephens
• Ben Lippmeier, Joint Evaluation Contexts
• Eric Torreborre, specs2: go functional! (40 mins)
• Tony Sloane, Functional Pretty Printer Combinators (longer talk)

18th August

• Mark Wotton
• Erik de Castro Lopo: My recent adventures in DDC land.
• Tom Sewell
• Sean Seefried: Substitution in a type preserving compiler (longer talk).

15th September

• Eric Willigers
• Raphael Speyer
• Speaker 3, Talk title (if known)
• Speaker 4, Talk title (if known)

20th October

• Ben Lippmeier
• Speaker 2, Talk title (if known)
• Speaker 3, Talk title (if known)
• Speaker 4, Talk title (if known)