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.
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.
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
e-mail: