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

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


=== 8th September ===
(This meeting was moved a week earlier due to conflict with ICFP)
 * Paul Steckler: A discussion of Oleg's article on how impredicativity breaks type soundness in Haskell.
 * Mark Wotton: The Complete Idiots Guide to Template Haskell.
 * Ben Lippmeier: Unhygenic letregion and the region phase change in DDC core part 2.

=== 20th October ===
 * Shane Stephens
 * Tom Sewell
 * Tony Sloane, Introduction to Partial Evaluation (30-40 mins)
 * Ben Sinclair

=== 17th November ===
 * Eric Torreborre, (most certainly) The Essence of the Iterator Pattern
 * Raphael Speyer
 * Richard Garner, Dependent Types (longer talk)

=== 16th February ===
 * Eric Willigers
 * Speaker 2, Talk title (if known)
 * Speaker 3, Talk title (if known)
 * Speaker 4, Talk title (if known)