What? concertrg is a weekly discussion of selected papers from the programming languages research community.
Who? The reading group is open to all students interested in programming languages research; it was started by students affiliated with the ConCert project (hence the name).
When and where? Tuesdays at 5:00 pm in GHC 6501.
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:
- Oct 20, 2009 - Programming with proofs and explicit contexts. Brigitte Pientka and Joshua Dunfield. 2008.
- Oct 13, 2009 - Formal verification of a realistic compiler. Xavier Leroy. 2009.
- Oct 6, 2009 - Beautiful differentiation. Conal M. Elliott. 2009.
- Sep 29, 2009 - Verifying correct usage of atomic blocks and typestate. Beckman, Bierhoff, and Aldrich. 2008.
- Sep 15, 2009 - The Proof Theory and Semantics of Intuitionistic Modal Logic. Alex K. Simpson. 1994.
- Sep 15, 2009 - Modal Types for Mobile Code. Tom Murphy VII. 2008.
All readings:
Useful links:
ConcertRG comes in many flavors:
- Concert Reading Group @ CiteULike
- Pre-2009 ConCert Reading Group Archive
- JakeD's ConcertRG delicious feed
- Mailing list
- Classic Papers in Programming Languages and Logic Mirror (Fall 2009) - Piggybacks on the RG's infrastructure
Convener links: