|
|
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.  |
|
