23rd International Conference on Types for Proofs and Programs,
TYPES 2017

Budapest, Hungary, 29 May - 1 June 2017

Background   Financial support   Invited speakers   Call for contributions   Program committee   Venue   Contact

Budapest Tram Budapest Panorama HDR


The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016).

The TYPES areas of interest include, but are not limited to:

We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress.

Financial support

The last two days of TYPES 2017, May 31 - June 1 are supported by and organised under the auspices of EUTypes Cost Action CA15123. On one of these days there will be an EUTypes Management Committee (MC) meeting. This means that for members of the EUTypes MC, the cost of travel and stay for these 2 days will be covered. There will likely be some funding for a limited number of other conference participants (speakers). The funding is subject to COST rules, and invitations will be sent out via the e-cost system after the 1st of May.

Invited speakers

Contributed talks

We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2017.

Important dates:

Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop.


Similarly to TYPES 2011 and TYPES 2013-2016, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open for everyone. Tentative submission deadline: September 2017.

Program committee


The conference will be held in the Lágymányos South Building of Eötvös Loránd University. The address is Pázmány Péter sétány 1/C, Budapest 1117, Hungary.


Email: info@types2017.elte.hu

Organisers: Ambrus Kaposi, Tamás Kozsik, András Kovács and the Department of Programming Languages and Compilers at the Faculty of Informatics, Eötvös Loránd University.

Last update: 13 March 2017