FP-Syd meeting!

Two speakers:

Geoff Huntley : Watch me format my wife's computer

Amos Robinson : Program-Carrying Proofs in Coq: using tactics for
dependently typed programming

Abstracts on the fp-syd mailing list

Doors open 6pm, meeting starts 6:30pm