| Version 143 (modified by , 12 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
- 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
- See FP-Syd Google Group for questions, venue information, and to get an account on this wiki.
Programme
27th March
- Wiki account creation
- Erik de Castro Lopo: Persistent and Esqueleto
- Eric Torreborre: Kiama, a walk down the beach
- Liam O'Connor-Davis: Type Theory is Proof Theory
24th April
- Mark Hibberd
- Trevor McDonell
- Eric Willigers
22nd May
- Jed Wesley-Smith
- Tim Docker (+ May)
- Amos Robinson
26th June
- Andrew Cowie
- Tony Sloane (> April)
- Tran Ma
24th July
- George Roldugin
- Boey Maun Suang (-November, -August)
- Rob Everest
28th August
- Julian Gamble
- Tom Sewell
- Sean Seefried
25th September
- Mark Wotton
- Shane Stephens
- Ben Sinclair
23rd October
- Karl Roberts
- Raphael Speyer
- Speaker to be announced.
27th November
- Speaker to be announced.
- Speaker to be announced.
- Speaker to be announced.
