ITRS '08 took place on Tuesday,
25 March 2008 in Turin,
Italy. It is a TYPES Project
small workshop and was collocated with TYPES 2008,
which ran from 26 to 29 March 2008.
Submission of extended abstracts: Friday, February 8, 2008
Notification of
acceptance:
Friday, February 15, 2008
Final
version:
Wednesday, March 12, 2008
Workshop:
Tuesday, March 25, 2008
The proceedings of ITRS'00 were published by Carleton Scientific.
The proceedings of ITRS'02 and ITRS'04 were published by Elsevier in
the Electronic Notes in Theoretical Computer Science series.
A special issue on intersection types of the journal
Fundamenta Informaticae will be
published.
EARLY REGISTRATION (before February 17)
50 Euro for participants who have registered for TYPES 2008
70 Euro for participants who haven't registered for TYPES 2008
LATE REGISTRATION (after February 17)
70 Euro for participants who have registered for TYPES 2008
90 Euro for participants who haven't registered for TYPES 2008
Steffen van Bakel | (Imperial College, London, UK) |
Franco Barbanera | (Università degli Studi di Catania, Italia) |
Daniel Dougherty | (Worcester Polytechnic Institute, USA) |
Silvia Ghilezan (Chair) | (Univerzitet u Novom Sadu, Serbia) |
Pierre Lescanne | (École Normale Supérieure de Lyon, France) |
Ugo de'Liguoro | (Università di Torino, Italy) |
Yiorgos Stavrinos | (University of Athens,Greece) |
Pawel Urzyczyn | (Uniwersytet Warszawski, Poland) |
Joe Wells | (Heriot-Watt University, Edinburgh, Scotland) |
Mariangiola Dezani-Ciancaglini | (Università di Torino, Italy) |
Joe Wells (Chair) | (Heriot-Watt University, Edinburgh, Scotland) |