coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Papers TYPES 2007 - deadline extension

From: Marino Miculan <miculan AT dimi.uniud.it>
To: types AT lists.chalmers.se, types-announce AT lists.seas.upenn.edu, coq-club AT pauillac.inria.fr, isabelle-users AT cl.cam.ac.uk
Subject: [Coq-Club] Call for Papers TYPES 2007 - deadline extension
Date: Mon, 24 Sep 2007 17:26:34 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Due to many requests, the deadline for submissions for the Post- Proceedings of TYPES 2007 is extended a few days.
The new dates are the following:

SUBMISSION DEADLINE: Friday, September 28, 2007
NOTIFICATION OF ACCEPTANCE: Monday, November 5, 2007.
FINAL VERSION DUE: Monday, December 3, 2007.

More details at

http://users.dimi.uniud.it/types07/types07-cfp.html

best regards
-marino

--
Marino Miculan - http://www.dimi.uniud.it/miculan/
Department of Mathematics and Computer Science, University of Udine
via delle Scienze 206, 33100 Udine - Italy -- skype: marinomiculan
vox: +39-043255-8486 - fax: +39-043255-8499 - mob: +39-3292606452

[Coq-Club] Call for Papers TYPES 2007 - deadline extension, Marino Miculan