= 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 * Eric Torreborre, specs2: go functional! (40 mins) * Tony Sloane, Functional Pretty Printer Combinators (longer talk) === 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)