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