[Prev][Next][Index][Thread]
TYPES'03 post-conference proceedings: remainder and submission instructions
-
To: types@cis.upenn.edu
-
Subject: TYPES'03 post-conference proceedings: remainder and submission instructions
-
From: Types 2003 proceedings <types03@di.unito.it>
-
Date: Fri, 12 Sep 2003 09:30:16 +0200
-
User-Agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
TYPES'03 post-conference proceedings: remainder and submission instructions
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.
SUBMISSION DEADLINE: October 3, 2003.
NOTIFICATION OF ACCEPTANCE: November 30, 2003
FINAL VERSION DUE: January 15, 2004
Previous TYPES Post-Workshop Proceedings include
LNCS volumes 2646, 2277, 1657, 1512, 1158, 996 and 806.
Detailed submission istructions to the TYPES'03 Post-Workshop Proceedings
are now available at the url:
http://www.di.unito.it/~stefano/types2003/09_CallForPapers.html
The editors
(Stefano Berardi, Mario Coppo, Ferruccio Damiani)