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 9. Call For Post Proceedings Papers We will insert a copy of the post-proceeding call for paper here, from April 2008 Prev.: 8. Social Events . Up: 9. Call For Post Proceedings Papers. Next: 10. How To Get To Villa Gualino . 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 .