[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Types readers, The early registration deadline for the Twelf Tutorial (and other POPL events) is this week. We have a very interactive program planned, and we would appreciate it if you would register soon so we know how many teaching assistants we'll need. Thanks! -Dan ================================================== Tutorial Announcement and Call for Participation Mechanizing Metatheory with LF and Twelf Monday 19 January 2008 Savannah, GA Co-located with POPL 2009 Registration open! (Early registration ends December 19) 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.