TYPES 2003: Torino, Italy