April, 30 (Wensday morning) to May, 4 (Sunday morning)

Viale Settimio Severo 65 - 10133 - Torino - Tel: (+39)0116603555


1.Introduction To Types 2003
2.Invited Speakers
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

7. How To Submit A Talk

Topics include, but are not limited to:
  • applications of type theory, type theory and functional programming, industrial uses of type theory technology.
  • meta-theoretic studies of type systems
  • implementation of proof-assistants, automation in computer-assisted reasoning.
  • formalizing mathematics using type theory
  • Constructivism and Foundation of Mathematics.
    Demo are welcomed. We ask you to send a mail to types2003@di.unito.it, including a title of your talk/demo, a short abstract in pure text, the list of co-authors and the name of who is giving the talk. In principle, we want to open to everyone the possibility of giving a talk. Talks will not published as such, but we encourage people who gave a talk to submit their papers after the conference.

    Below: The central Piazza Castello (Castle Square), with its Middle-Age Castle incorporating the old Roman gate.
  • Prev.: 6. How To Reserve . Up: 7. How To Submit A Talk. Next: 8. Social Events .
    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.