Next FP Syd: 28 May

4 views

Skip to first unread message

Jost Berthold

unread,

May 25, 2025, 11:27:13 PMMay 25

to fp-syd

FP Syd is on again in May with a talk about proofs and proving techniques:

Thomas Sewell: Functional programs and proof tactics

Functional programming languages have frequently been used as the tactic languages of various formal proof tools. In fact, this use gave rise to one of the first major functional programming languages.In this talk we'll look at a few topics in this area.
What is a proof, and what is a proof tactic? How do we use functional languages to represent proofs and tactics? Why do academic PL folk love these proofs so much? Why are tactics generally so awful? How have these fields co-evolved? Some of the answers may be gruesome, but hopefully the talk isn't. Catch you then!

We also have space for lightning talks again. If you have worked on something cool or read something interesting, take the stage and show us!

As usual, doors open at 6pm for mingling and networking. The talk will start at 6:45pm. Please RSVP via meetup.com or let the organisers know you are coming if you plan to attend.

Reply all

Reply to author

Forward

0 new messages