TYPES CONFERENCE - TORINO 2008March, 26 (Wednesday morning) to March, 29 (Saturday morning)Colocated with ITRS08, March, 25, 2008VILLA GUALINOViale Settimio Severo 65 - 10133 - Torino - Tel: +39 011 6603555 Menu 1. Introduction To Types 2008 2. Invited Speakers 3. List Of Participants 4. Schedule Of The Congress 5. How To Register 6. Hotel Booking 7. How To Submit A Talk 8. Social Events 9. Call For Post Proceedings Papers 10. How To Get To Villa Gualino 11. Map Of The Town Of Turin 12. Picture Of Villa Gualino 13. Organizing Committee 13. Organizing Committee The Organizing Committee consists of: Stefano Berardi , Lorenzo Bettini, Mario Coppo , Ferruccio Damiani, Mariangiola Dezani, Ugo de' Liguoro, Mauro Piccolo, of the Computer Science Department of Turin University . Prev.: 12. Picture Of Villa Gualino . Up: 13. Organizing Committee. Next: 1. Introduction To Types 2008 . Web Adress: http://types2008.di.unito.it/. E-mail : Acknowledgements: Types 2008 is hosted by the Semantic Group of Computer Science Dept. of Turin University .This site has been generated using a Small Site Generator written in the Mathematica language by Stefano Berardi .