ConCert Reading Group - concertrg

This page is a static archive of the pre-2009 ConCert Reading Group papers. The new page can be found here.

What? concertrg is a weekly discussion of selected papers from the programming languages research community.

Who? The reading group is organized by students affiliated with the ConCert project, but any interested students are welcome to join us.

When and where? Mondays at 5:00 pm in NSH 3001

A mailing list for the group is maintained by Rob Simmons. Send him mail if you would like to subscribe. There is also a short document describing the format of our discussions.

Recent readings:

• 14 Apr - Display Logic. Nuel D. Belnap, Jr.
• 24 Mar - Contraction-Free Sequent Calculi for Intuitionstic Logic. Roy Dyckhoff
• 17 Mar - Proof search in Lax Logic. Jacob M. Howe
• 9 Mar - Introduction to linear logic and ludics, Part I. Pierre-Louis Curien
• 23 Feb - Equality In Lazy Computation Systems. Douglas J. Howe
• 16 Feb - Syntatic Logical Relations for Polymorphic and Recursive Types. Karl Crary and Robert Harper
• 2 Feb - What is a Sorting Function? Fritz Henglein

Previous readings:

• 2008
• 2007
• 2006
• 2005
• 2004

Useful links:

• CMU VPN (a.k.a. proxy) Server