[TYPES] ITRS'04: EXTENDED DEADLINE
Ferruccio Damiani
damiani at di.unito.it
Thu Apr 8 16:58:19 EDT 2004
-------------------------------------------------------------
ITRS'04: EXTENDED DEADLINE
-------------------------------------------------------------
Workshop on Intersection Types and Related Systems (ITRS'04)
University of Turku, Finland
Tuesday, 13 July 2004
(colocated with ICALP'04/LICS'04)
IMPORTANT DATES/DEADLINES:
Submission of papers (new): Monday, 26 April 2004
Notification of acceptance: Monday, 31 May 2004
Pre-final version
(available at the workshop): Sunday, 13 June 2004
Workshop: Tuesday, 13 July 2004
Final version: TO BE DECIDED
ITRS'04 WEB PAGE:
http://itrs04.di.unito.it/
ITRS'04 CALL FOR PAPERS:
http://itrs04.di.unito.it/call-for-papers.txt
ITRS'04 WEB SUBMISSION PROCEDURE (now open):
http://itrs04.di.unito.it/openchair/
-------------------------------------------------------------
The pre-final version of the proceedings will be available at
the conference as a volume of Turku Centre for Computer Science
(TUCS) series.
We are also planning to publish the workshop proceedings in
ENTCS series, as a volume on its own, or together with other
workshops, depending on the number of received papers.
The organizers
--
Dr. Ferruccio DAMIANI
Dipartimento di Informatica | Phone: (+39) 011 670 6719
Universita' degli Studi di Torino | Fax : (+39) 011 75 16 03
C.so Svizzera 185 | Email: damiani at di.unito.it
I-10149 Torino, Italy | URL : http://www.di.unito.it/~damiani
___________________________________________________________________________
Please avoid sending me Word or PowerPoint attachments.
See http://www.fsf.org/philosophy/no-word-attachments.html
More information about the Types-list
mailing list