= 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] == 28th August == * Julian Gamble: Simulation testing with Datomic * Tom Sewell: Things I've learned about SAT * Shane Stephens: Generating a Functional API for Web Animations == 18th September (moved forward 1 week) == * George Roldugin: Functional Computer Music * Maun Suang Boey: Shen: It's Lisp, Jim, but not as we know it. == 16th October (moved forward 1 week) == * Erik de Castro Lopo: ICFP Retrospective * Ben Lippmeier: Data Flow Fusion with Series Expressions * Liam O'Connor: CDSL: A Restricted Functional Language for Verification of File Systems == 27th November == * Barry Jay * Maxwell Swadling * Thomas Sutton