The ConCert Reading Group is a weekly discussion of selected papers from the programming languages research community run by students of the ConCert group.ConcertRG is a weekly discussion of selected papers from the programming languages research community. 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). ConcertRG (The current archive is only available to the list members.) -->
To post a message to all the list members, send email to concertrg "at" cs.cmu.edu.
You can subscribe to the list or change your existing subscription in the sections below.
Subscribe to ConcertRG by filling out the following form. This is a closed list, which means your subscription will be held for approval. You will be notified of the list moderator's decision by email. This is also a private list, which means that the list of members is not available to non-members.
|Your email address:|
|Your name (optional):|
You may enter a privacy password below. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext.
If you choose not to enter a password, one will be automatically generated for you, and it will be sent to you once you've confirmed your subscription. You can always request a mail-back of your password when you edit your personal options.
|Pick a password:|
|Reenter password to confirm:|
|Which language do you prefer to display your messages?||English (USA)|
|Would you like to receive list mail batched in a daily digest?||No Yes|
|21 Aug 2005||xhtml1.0 css2.0|