TYPES CONFERENCE - TORINO 2008
March, 26 (Wednesday morning) to March, 29 (Saturday morning)
Colocated with ITRS08, March, 25, 2008


VILLA GUALINO
Viale 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

2. Invited Speakers


We pleased to say that the invited speakers of types 2008 are, in alphabetic ordering, A. Asperti, G. Dowek, and J. W. Klop.

Below: A view of Valentino Park
Prev.: 1. Introduction To Types 2008 . Up: 2. Invited Speakers. Next: 3. List Of Participants .
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 .