coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Adam Chlipala <adamc AT csail.mit.edu>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Coq Workshop schedule posted
- Date: Tue, 17 Jul 2012 09:42:33 -0400
The schedule for this year's Coq Workshop is now posted:
http://people.csail.mit.edu/adamc/coq4.html
I'd say we have a great program put together, and I look forward to seeing many of you there!
Quick reminder: the early registration deadline is July 22. Registration is through ITP:
http://itp2012.cs.princeton.edu/Registration.html
- [Coq-Club] Coq Workshop schedule posted, Adam Chlipala, 07/17/2012
Archive powered by MHonArc 2.6.18.