coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq Workshop deadline today

From: Adam Chlipala <adamc AT csail.mit.edu>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Coq Workshop deadline today
Date: Fri, 01 Jun 2012 12:48:25 -0400

This is a last reminder that today is the deadline for talk proposals for the Coq Workshop, colocated with ITP at Princeton in August. More information:
http://coq.inria.fr/coq-workshop/2012

[Coq-Club] Coq Workshop deadline today, Adam Chlipala, 06/01/2012