= 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 == * [http://www.bfpg.org/ Brisbane Functional Programming Group] * [http://sites.google.com/site/fpunion/ Melbourne Functional Programming Union] * [http://www.meetup.com/PerthFP/ Perth Functional Programming Meetup] * [http://groups.google.com/group/wellington-fp Wellington Functional Programming UG] * [wiki:Related more...] == More Information == * [wiki:Members Members] * [wiki:Programme Programme Setup] * Past meetings: [wiki:Past/2008 2008], [wiki:Past/2009 2009], [wiki:Past/2010 2010], [wiki:Past/2011 2011], [wiki:Past/2012 2012], [wiki:Past/2013 2013] * [http://code.ouroborus.net/fp-syd File] storage for logos, past talks, etc. * See [https://groups.google.com/forum/#!forum/fp-syd FP-Syd Google Group] for questions, venue information, and to get an account on this wiki. == Programme == * [http://fp-syd.ouroborus.net/report/8 All Tickets] * [http://fp-syd.ouroborus.net/report/10 Talk Requests] * [http://fp-syd.ouroborus.net/report/11 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.