[Prev][Next][Index][Thread]
TYPES'03 proceedings: extended deadline
-
To: types <types@cis.upenn.edu>
-
Subject: TYPES'03 proceedings: extended deadline
-
From: Mario Coppo <coppo@di.unito.it>
-
Date: Thu, 02 Oct 2003 15:26:08 +0200
-
User-Agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
The TYPES'03 Post-Workshop Proceedings will be published,
after a formal referee process, as a volume of the
Lecture Notes in Computer Science (LNCS) series.
EXTENDED DEADLINE: October 21, 2003 (previous was October 3, 2003).
NOTIFICATION OF ACCEPTANCE: December 15, 2003
FINAL VERSION DUE: January 31, 2004
Detailed submission istructions are available at the url:
http://www.di.unito.it/~stefano/types2003/09_CallForPapers.html
The editors
(Stefano Berardi, Mario Coppo, Ferruccio Damiani)