ITRS '00 occurred on Saturday, 15 July 2000 at the University of Geneva, Switzerland. It was colocated with ICALP '00, the 27th International Colloquium on Automata, Languages, and Programming, which ran from 9 to 15 July 2000.
The ITRS '00 workshop was held to bring together researchers working on both the theory and practice of systems with intersection types and related systems (e.g., union types, refinement types, etc.). The proceedings was published by Carleton Scientific; copies were distributed at the workshop.
| Adriana Compagnoni | (Stevens Institute of Technology, USA) |
| Maribel Fernández | (École Normale Supérieure, France) |
| Thomas Jensen | (IRISA/CNRS, Rennes, France) |
| Jean-Louis Krivine | (Université Paris 7, France) |
| Jens Palsberg | (Purdue University, Indiana, USA) |
| Simona Ronchi Della Rocca | (Università di Torino, Italy) |
| Betti Venneri | (Università di Firenze, Italy) |
| Joe Wells (Chair) | (Heriot-Watt University, Edinburgh, Scotland) |
