addressalign-toparrow-leftarrow-leftarrow-right-10x10arrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcredit-cardcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobe--smallglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1languagelaunch-new-window--smalllight-bulblinklocation-pinlockm-swarmSearchmailmediummessagesminusmobilemoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahooyoutube

FP-Syd Pages

This is the first and original Sydney Functional Programming group and we have now joined

FP-Syd is in its tenth year of existence and we have 10 meetings per year (we don't meet in December or January). Details of previous and upcoming meetings can be found our wiki.

Our speakers include hobbyists, professionals, researchers and academics. We are interested in all aspects of functional programming, including more advanced topics like type systems, theorem proving and formal methods.

Once a year we have our annual Coq Fight. Coq (French for rooster, yes, the authors knew what they we doing when they named it that) is a theorem proving assistant, and a Coq fight has participants in pairs racing each other to prove a simple theorem. The winner goes on the next round with the ultimate winner being named Coq Master.

We are as welcoming as possible to everyone interested in functional programming.

Table of Contents

Page title Most recent update Last edited by
About FP-Syd 11 May 2017 7:43 PM erikd

People in this
group are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy