Background Financial support Invited speakers Call for contributions Registration Programme Accepted papers Program committee Venue Accommodation Contact
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.
The first two days of TYPES 2017, May 29 - 30 are organised by EUTypes Cost Action CA15123. On May 30 there will be an EUTypes Management Committee (MC) meeting, and on both days there will be WG meetings. This means that members of the EUTypes MC will be invited for these 2 days through the e-cost system, and their cost of travel and stay will be covered. There will likely be some funding for a limited number of other invited speakers. The funding is subject to COST rules, and invitations will be sent out via the e-cost system after the 1st of May.
The classical type-theoretic decision problems, inhabitation (given a type, is there a term having the type?) and typability (given a term, does it have a type?), are undecidable for intersection types. But one can consider bounding principles admitting of algorithmic solutions while retaining interesting levels of expressive power. We overview the status of known bounding principles, computational aspects of the associated decision problems, and some application perspectives.
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.
Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop.
The conference early registration fee will be approximately 300 EUR for normal participants and 230 EUR for students. This will include daily lunches, coffee breaks, conference dinner and excursion.
We will inform everyone who will present a paper as soon as registration opens.
Program plan for Monday (29 May), Wednesday (31 May) and Thursday (1 June). Talks will last 20 minutes including questions. On Monday and Tuesday, 6 slots will be taken up by EUTypes MC and WG meetings.
|10.30-12.30||talks (6 slots)|
|14.20-16.00||talks (5 slots)|
|16.30-18.10||talks (5 slots)|
Program plan for Tuesday (30 May).
|9.00-10.00||talks (3 slots)|
|10.30-12.30||talks (6 slots)|
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.
The conference will be held in the Lágymányos South Building of Eötvös Loránd University, see the map below. The address is Pázmány Péter sétány 1/C, Budapest 1117, Hungary.
We reserved 55 rooms altogether in the following hotels (see the above map):
Services such as booking.com and airbnb.com are known to work well in Budapest too.
The judgemental map of Budapest (google) is quite accurate about what the different areas are like. The conference venue is in the "more nerds" area.
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: 3 April 2017