[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