[Agda] Twelf Tutorial (Call for participation)

Twelf Elf twelfelf at gmail.com
Fri Oct 31 21:32:27 CET 2008


==================================================


Tutorial Announcement and Call for Participation


Mechanizing Metatheory with LF and Twelf


Monday 19 January 2008

Savannah, GA

Co-located with POPL 2009


http://twelftutorial.plparty.org


==================================================


The Principles of Programming group at Carnegie Mellon University

invites you to a tutorial on the use of LF and Twelf for specifying,

implementing, and proving properties of programming languages.


The tutorial will be a highly interactive introduction to LF and Twelf

aimed at programming languages researchers. No prior experience with LF

and Twelf is assumed. We will concentrate on two topics:


 * Representing programming languages in the LF logical framework

 * Using Twelf to prove properties of those languages


Participants will leave the workshop with experience in reading and writing

LF representations of programming languages, and experience reading,

writing, and debugging Twelf proofs.


You can register for the tutorial when you register for POPL 2009

(registration will begin next week).


-- Rob Simmons on behalf of the Twelf Elves
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20081031/cf0b2e05/attachment.html


More information about the Agda mailing list