= 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. 
* Anyone who is interested is welcome to come along.

== Related Australasian Groups ==
* [http://www.bfpg.org/ Brisbane Functional Programming Group]
* [http://sites.google.com/site/fpunion/ Melbourne Functional Programming Union]
* [http://groups.google.com/group/wellington-fp Wellington Functional Programming UG]

== 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]
* 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.

* [wiki:Streaming Video Streaming on the Night]


== 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]
* [http://fp-syd.ouroborus.net/report/12 Event Ideas]
* [http://fp-syd.ouroborus.net/report/13 Tasks]


=== 15th March ===
 * Eric Willigers
 * Ben Lippmeier, Contextual equivalence and the ciu-theorem.
 * Vacant slot
 * Vacant slot