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:

Previous readings:

Useful links:

16 Feb 2009 xhtml1.0 css2.0