1. Introduction To Types 2008

Above: the center of Turin with the Mole Antonelliana. View from Monte Dei Cappuccini.



Types 2008 is the 2008 Workshop of the Working Group "Types". Types 2007 was in Udine."Types" develops computer assisted formal reasoning based on Type Theory, with application to programming languages, certified software, and formalisation of mathematics. Types 2008 will be held in Villa Gualino, a peaceful Villa with park and a scenic viewpoint, located in the hills facing the centre of Torino, Italy, from March, 26 (Wednesday morning) to March, 29 (Saturday afternoon). Partecipants will be housed in the same Villa Gualino housing the Congress, or in two hotels close to the Villa. Types 2008 is colocated with ITRS08 (March, 25, 2008), the 4th Workshop on Intersection Types and Related Systems, a small workshop of the types project.



We invite everyone to submit a talk (look for the item "How To Submit A Talk"). Early registration is open until February, 17 (look for the items "How To Register" and "Hotel Booking"). We plan to call for papers after the Workshop, and publish post-proceeding as a LNCS. Congress schedule is now available . There is a business meeting on March, 27, evening, and a social dinner on March, 28. Lunches are included in the registration fees, while dinners are not. If you intend to have a dinner in the Villa, you should tell it to the staff, by 3 P.M. each day.