Tonight's BayFP meeting is at 7:30pm at Citizen Space, 425 2nd Street,
#300, San Francisco. The speaker tonight is Jake Donham, who will be
talking about Twelf (http://twelf.org/). This talk is the one
rescheduled 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.
BayFP talks are free and open to all. The pizza and soda is being
sponsored tonight too.
Hope to see you there.
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
-~----------~----~----~----~------~----~------~--~---
