= 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]
* [https://groups.google.com/forum/#!forum/fp-syd FP-Syd Google Group]
* Past meetings: [wiki:Past/2008 2008], [wiki:Past/2009 2009], [wiki:Past/2010 2010], [wiki:Past/2011 2011]

* [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]

=== 17th November ===
 * Sean Seefried, Generic Matrix Multiplication (lightning talk)
 * Richard Garner, Dependent Types (longer talk)
 * Ben Sinclair, A certified adder in Agda

=== 16th February ===
 * Eric Willigers
 * Raphael Speyer
 * Eric Torreborre, The Essence of the Iterator Pattern
 * Speaker 4, Talk title (if known)