TYPES CONFERENCE - TORINO 2003
April, 30 (Wensday morning) to May, 4 (Sunday morning)

VILLA GUALINO
Viale 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.Accepted Papers
8.Social Events
9.How To Get To Villa Gualino
10.Map Of The Town Of Turin
11.Picture Of Villa Gualino
12.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: types2003@di.unito.it . 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.