Version 199 (modified by 10 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 usually held on the fourth Wednesday 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, 2014
- 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
2015
FP-Syd is held on the fourth Wednesday of each month.
25th February
- Discussion of new speakers roster
- Ben Lippmeier: Data Parallel Data Flow with Repa 4
- Christian Marie: Round tripping balls (JSON with partial isomorphisms & Haskell)
- Amos Robinson: Merging Merges, more or less
25th March
- Speaker to be decided
- Speaker to be decided
- Speaker to be decided
22nd April
- Speaker to be decided
- Speaker to be decided
- Speaker to be decided
27th May
- Speaker to be decided
- Speaker to be decided
- Speaker to be decided
24th June
- Speaker to be decided
- Speaker to be decided
- Speaker to be decided
22nd July
- Speaker to be decided
- Speaker to be decided
- Speaker to be decided
26th August
- Speaker to be decided
- Speaker to be decided
- Speaker to be decided
23rd September
- Speaker to be decided
- Speaker to be decided
- Speaker to be decided
28th October
- Speaker to be decided
- Speaker to be decided
- Speaker to be decided
25th November
- Speaker to be decided
- Speaker to be decided
- Speaker to be decided