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:

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


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.


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.


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

You must turn on JavaScript to see the email address.