TYPES CONFERENCE - TORINO 2003April, 30 (Wensday morning) to May, 4 (Sunday morning)VILLA GUALINOViale Settimio Severo 65 - 10133 - Torino - Tel: (+39)0116603555 Menu 1.Introduction To Types 2003 2.Invited Speakers 3.ListOfPartecipants 4.Schedule Of The Congress 5.How To Register 6.How To Reserve 7.How To Submit A Talk 8.Social Events 9.Call For Papers 10.How To Get To Villa Gualino 11.Map Of The Town Of Turin 12.Picture Of Villa Gualino 13.Organizing Commitee 2. Invited Speakers We are pleased to announce that Prof. Frank Pfenning of Carnegie Mellon University and Prof. Per Martin Lof of Stockholm University are invited speakers of Types 2003. Below: A view of Valentino Park Prev.: 1. Introduction To Types 2003 . Up: 2. Invited Speakers. Next: 3. ListOfPartecipants . Web Adress: http://types2003.di.unito.it. E-mail: email@example.com . Acknoledgements: Types 2003 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 . Download the whole site.