The usual apologies for multiple copies Types 2003 Organisers -------- Original Message -------- Subject: [TYPES-WG] Call for Participation Date: Tue, 14 Jan 2003 12:02:22 +0100 From: stefano berardi <stefano@di.unito.it> Organization: Dipartimento Informatica - Universita' Torino - Cso Svizzera 185 - 10149 TORINO - ITALY To: types-wg@durham.ac.uk TYPES 2003 - TORINO CALL FOR TALK, DEMO, AND REGISTRATION (DEADLINE: MARCH, 20 2003) Types 2003 will be held in Villa Gualino, a peaceful Villa with park and a scenic viewpoint, located in the hills facing the centre of Torino, Italy, from April, 30 (Wensday morning) to May, 4 (Sunday afternoon). Congress period includes Thursday, May 1, Labour Day in many countries. This could help people in the teaching semester. Invited speakers include Per Martin-Lof and Frank Pfenning. More informations about the workshop can be found at: http://types2003.di.unito.it/ 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 Fundation of Mathematics. Demo are welcomed. Who is willing to give a talk or a demo must send a mail to types2003@di.unito.it with - a title of the talk/demo, - a short abstract in plain text, - the list of co-authors and - the name of who is expected to give the talk or demo. Talks are expected to last about 30 minutes, incuding discussion. No referee process will take place. The organizers may discuss with the interested site leaders the possibility of cancelling or shortening some talk in case of necessity. People who will give a talk are incouraged to make available on the web the related material (slides and/or reports). Following the previous types meeting we hope to publish the post-proceedings of the workshop in the Springer LNCS series. Submission of paper and formal refering process will be be carried on after the conference. As usual submission will not be restricted to the paper presented at the conference. WE ATTACH INSTRUCTIONS FOR REGISTERING (DEADLINE: MARCH, 20 2003) AND THE REGISTRATION FORM