= 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]
* Past meetings: [wiki:Past/2008 2008], [wiki:Past/2009 2009], [wiki:Past/2010 2010], [wiki:Past/2011 2011]

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


=== 16th June ===
 * Eric Willigers, [http://www.youtube.com/watch?v=3kHh-zjp9xw Type Systems in Theorem Provers]
 * Raphael Speyer, !JoCaml: [http://www.youtube.com/watch?v=Dn5RXTix680 Concurrent Programming with the Join Calculus]
 * Dominic Verity, [http://www.youtube.com/watch?v=yilkBvVDB_w Category Theory part II] (longer talk).

=== 21st July ===
 * Shane Stephens
 * Ben Lippmeier, Joint Evaluation Contexts
 * Eric Torreborre, specs2: go functional! (40 mins)
 * Tony Sloane, Functional Pretty Printer Combinators (longer talk)

=== 18th August ===
 * Mark Wotton
 * Erik de Castro Lopo: My recent adventures in DDC land.
 * Tom Sewell
 * Sean Seefried: Substitution in a type preserving compiler (longer talk).

=== 15th September ===
 * Eric Willigers
 * Raphael Speyer
 * Speaker 3, Talk title (if known)
 * Speaker 4, Talk title (if known)

=== 20th October ===
 * Ben Lippmeier
 * Speaker 2, Talk title (if known)
 * Speaker 3, Talk title (if known)
 * Speaker 4, Talk title (if known)