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.
Programme
19th May
- Speaker 1, Talk title (if known)
- Speaker 2, Talk title (if known)
- Speaker 3, Talk title (if known)
- Speaker 4, Talk title (if known)
16th June
- Eric Willigers, Type Systems in Theorem Provers
- Eric Torreborre, specs2: go functional! (40 mins)
- Speaker 3, Talk title (if known)
- Speaker 4, Talk title (if known)
21st July
- Ben Lippmeier, Hacking Data Parallel Haskell
- Speaker 2, Talk title (if known)
- Speaker 3, Talk title (if known)
- Speaker 4, Talk title (if known)
Download in other formats: