TYPES'03 proceedings: extended deadline
To: types <firstname.lastname@example.org>
Subject: TYPES'03 proceedings: extended deadline
From: Mario Coppo <email@example.com>
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:
(Stefano Berardi, Mario Coppo, Ferruccio Damiani)