Hi all, Thanks to the nice folks at Twitter, we have a home for our next Bay FP meeting on Wednesday March 12th @ 7:30pm. Jake Donham will be speaking about Twelf:
""" 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. """ Twitter: 164 South Park St San Francisco, CA 94107 """It's a building with a dark green door. People can just come on in and walk to their right to a large conference room.""" Based on the suggestion of Dave Pollak (among others), we're going to try to do 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 next week (you only have to prepare 0-4 slides!), please send me a direct email with your topic ASAP. Keith --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
