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

== More Information ==
* [wiki:Programme Programme Setup]
* [wiki:Members Members]
* [https://groups.google.com/forum/#!forum/fp-syd FP-Syd Google Group]
* [http://www.mega-nerd.com/erikd/Blog/FP-Syd/index.html Erik's FP-Syd blog] has a summary of past meetings.

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

=== 19th May ===
 * Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes!
 * Ben Lippmeier, Hacking Data Parallel Haskell
 * Tom Sewell, Theoretical Theorem Proving (longer talk).

=== 16th June ===
 * Eric Willigers, Type Systems in Theorem Provers
 * Raphael Speyer, !JoCaml 
 * Dominic Verity, Category Theory part II (longer talk).

=== 21st July ===
 * Shane Stephens
 * Speaker 2, Talk title (if known)
 * Eric Torreborre, specs2: go functional! (40 mins)


=== 18th August ===
 * Speaker 1, Talk title (if known)
 * Speaker 2, Talk title (if known)
 * Speaker 3, Talk title (if known)
 * Speaker 4, Talk title (if known)