TYPES 2010

The 17th Workshop "Types for Proofs and Programs" will be held in Warsaw, Poland, from October 13 (Wednesday) to October 16 (Saturday). The conference will take place in the University of Warsaw Library ("BUW").

The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in computer programming and in formalized and computer-assisted reasoning. Since 1992, Types Meetings have been annual workshops of the community of European researches involved in several multilateral scientific projects, of which the Types Project was the most recent. The previous TYPES workshop was held in Aussois, France, in May 2009.

Topics and scope

We encourage all researchers to contribute talks on subjects related to the Types area of interest. Those include, but are not limited to:

Foundations of type theory and constructive mathematics;
Applications of type theory;
Dependently typed programming;
Industrial uses of type theory technology;
Meta-theoretic studies of type systems;
Proof-assistants and proof technology;
Automation in computer-assisted reasoning;
Links between type theory and functional programming;
Formalizing mathematics using type theory.

The talks may be based on newly published papers, work submitted for publication, but also or unfinished work-in-progress. There are no formal pre-proceedings. Proposed talks may be submitted through the registration page or via e-mail sent to the organizers.

Invited speakers

Henk Barendregt (Radboud University, Nijmegen), Lambda calculus with types;
Yves Bertot (INRIA Sophia Antipolis), Formal verification : from computational geometry to real algebraic geometry;
Pierre-Louis Curien (PPS Université Paris 7), The duality of computation under focus;
Aarne Ranta (Chalmers University of Technology), Machine translation and type theory.

Post-proceedings

There will be no proceedings volume. Instead, we plan to publish a special issue "Types for Proofs and Programs" of the electronic journal Logical Methods in Computer Science. Here is the (open) call for submissions for the special issue (also available as a pdf file). There is no pre-assumed connection (either way) between presentation at Types'10 and publication in the special issue, but we encourage speakers and participants to submit their papers.

Organizers

The conference is co-organised by the University of Warsaw, Faculty of Mathematics, Informatics and Mechanics, and the Polish Mathematical Society (PTM). The local team consists of Marcin Benke, Jacek Chrząszcz, Krystyna Jaworska, Agnieszka Kozubek, Adam Slaski, Aleksy Schubert, Paweł Urzyczyn (chair), and Daria Walukiewicz-Chrząszcz, Piotr Wilkin.

Contact

TYPES 2010, Institute of Informatics, University of Warsaw
Banacha 2, 02-097 Warszawa, Poland
phone: +48 22 5544 485
fax: +48 22 5544 400
e-mail: