The April meeting of BayFP will be held this Thursday, April 17th at
7:30pm at Citizen Space, 425 2nd Street, #300, San Francisco.
Jake Donham will be giving his talk on Twelf that was postponed from last month.
Twelf is a proof assistant and programming language based on
typed logic programming.
It is full of interesting and beautiful ideas. I'm going to use Twelf
as a jumping-off point to talk about some of those ideas: judgments
and inference rules; proof search and logic programming; proofs as
programs; dependent types; higher-order abstract syntax. I won't go
too deep into the technicalities of Twelf but I'll try to explain why
Twelf is interesting in comparison with other proof assistants like Coq.
We'd like to have a couple of lightning talks before Jake gets
started. These talks will be _very_ *strictly* limited to 5 minutes,
but are a great way to get a quick introduction to new topics (for the
listeners) and a great way to get your blood pumping (for the
speakers). If you're interested in giving a lighting talk Thursday
(you only have to prepare 0-4 slides!), please send me a direct email
with your topic ASAP.
As always, the talk is free and open to all.
See you Thursday.
Mike
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to "Bay Area Functional
Programmers"
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/bayfp?hl=en
-~----------~----~----~----~------~----~------~--~---
