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

9. Call For Papers

Call for Papers for the Post-Proceedings of "TYPES 2003"

The Post-Workshop Proceedings forTYPES 2003 will be published, after a formal referee process, as a volume of the Lecture Notes in Computer Science (LNCS) series.Previous TYPES post-workshop proceedings include LNCS volumes2646,  2277, 1657, 1512, 1158, 996 and 806.

We  encourage you to submit research papers onthe subject of the Types Working Group,i.e. the Computer-Assisted Formal Reasoning, an area which is of deep interestfor industry. The aim of our research activities is to develop the technologyof formal reasoning based on Type Theory by improving the languages and toolsof reasoning and by applying the technology in several domains such as programminglanguages, certified software, and formalisation of mathematics.
  Topics include, but are not limited to:

  • Foundations of type theory and constructive mathematics
  • applications of type theory
  • programming with type theory
  • industrial uses of type theory technology
  • meta-theoretic studies of type systems
  • implementation of proof-assistants
  • automation in computer-assisted reasoning
  • links between type theory and functional programming
  • formalizing mathematics using type theory
 Also work within the scope of TYPES  that was notpresented at the workshop or whose authors are not formally involved in the Working Group can be submitted for the proceedings.

EXTENDED SUBMISSION DEADLINE:  October  21,  2003 (previous deadline was October, 3).

We hope this volume will give a good account of the papers presented atthe workshop and of  recent research in the field in general. We invite submissionof high quality papers, written in English and typeset in LaTeX2e using theLNCS style. (See Authors Instructions .)Submissions should not have been published and should not beunder consideration for publication elsewhere. Submissionsshould be no more than fifteen pages long in LNCS style.Please email your contribution as a self-contained  pdf  file to:


In a separate email, give the title, authors and abstract ofyour submission, as well as email address of thecorresponding author. Submissions will be acknowledged(perhaps with some delay).

LNCS is now published in full-text electronic version, aswell as printed books. Thus we will need the final LaTeXsource files of accepted submissions. The final versions ofaccepted submissions must be in the LaTeX2e LNCS style, andbe as self-contained as possible. With the  final version you will also be asked to fill  a copyright form for LNCS accepted papers.

Best regards from the editors, which are

Stefano Berardi,  Mario Coppo, Ferruccio Damiani .

Send your questions and comments totypes2003@di.unito.it
Prev.: 8. Social Events . Up: 9. Call For Papers. Next: 10. How To Get To Villa Gualino .
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.