<div dir="ltr"><br>                      CALL FOR CONTRIBUTIONS<br><br>   23rd International Conference on Types for Proofs and Programs,<br>                            TYPES 2017<br>                                and<br>                     EUTYPES Cost Action CA15123 meeting<br>                 Budapest, Hungary, 29 May - 1 June 2017<br><br>                     <a href="http://types2017.elte.hu">http://types2017.elte.hu</a><br><br><br><br>BACKGROUND<br><br>The TYPES meetings are a forum to present new and on-going work in all<br>aspects of type theory and its applications, especially in formalised<br>and computer assisted reasoning and computer programming.<br><br>The TYPES areas of interest include, but are not limited to:<br><br> * foundations of type theory and constructive mathematics;<br> * applications of type theory;<br> * dependently typed programming;<br> * industrial uses of type theory technology;<br> * meta-theoretic studies of type systems;<br> * proof assistants and proof technology;<br> * automation in computer-assisted reasoning;<br> * links between type theory and functional programming;<br> * formalizing mathematics using type theory.<br><br>We encourage talks proposing new ways of applying type theory. In the<br>spirit of workshops, talks may be based on newly published papers,<br>work submitted for publication, but also work in progress.<br><br>The EUTypes Cost Action CA15123 (<a href="http://eutypes.cs.ru.nl">eutypes.cs.ru.nl</a>) focuses on the same<br>research topics as TYPES and partially sponsors the TYPES Conference:<br>May 31 - June 1 are supported by and organised under the auspices of<br>EUTypes.<br><br><br>INVITED SPEAKERS<br><br><br> * Edwin Brady (University of St Andrews)<br> * Sara Negri (University of Helsinki)<br> * Jakob Rehof (TU Dortmund)<br><br><br><br>CONTRIBUTED TALKS<br><br>We solicit contributed talks. Selection of those will be based on<br>extended abstracts/short papers of 2 pp formatted with<br>easychair.cls. The submission site is<br><a href="https://easychair.org/conferences/?conf=types2017">https://easychair.org/conferences/?conf=types2017</a>.<br><br>Important dates:<br><br> * submission of 2 pp abstract: 13 March 2017<br> * notified of acceptance/rejection: 10 April 2017<br> * camera-ready version of abstract: 2 May 2017<br><br>Camera-ready versions of the accepted contributions will be published<br>in an informal book of abstracts for distribution at the workshop.<br><br><br><br>POST-PROCEEDINGS<br><br>Similarly to TYPES 2011 and TYPES 2013-2016, we intend to publish a<br>post-proceedings volume in the Leibniz International Proceedings in<br>Informatics (LIPIcs) series (subject to successful negotiation with<br>Dagstuhl Publishing). Submission to that volume would be open for<br>everyone. Tentative submission deadline: September 2017.<br><br><br><br>PROGRAMME COMMITTEE<br><br> * Andreas Abel (Chalmers University Gothenburg)<br> * Thorsten Altenkirch (University of Nottingham)<br> * Jose Espirito Santo (University of Minho)<br> * Fredrik Forsberg (University of Strathclyde)<br> * Silvia Ghilezan (University of Novi Sad)<br> * Hugo Herbelin (INRIA Paris-Rocquencourt)<br> * Martin Hofmann (Ludwig Maximilian University of Munich)<br> * Ambrus Kaposi (Eötvös Loránd University) (co-chair)<br> * Tamás Kozsik (Eötvös Loránd University) (co-chair)<br> * Assia Mahboubi (INRIA Paris)<br> * Alexandre Miquel (University of the Republic, Urugay)<br> * Leonardo de Moura (Microsoft Research, Redmond, USA)<br> * Keiko Nakata (FireEye, Dresden)<br> * Andrew Polonsky (University Paris Diderot)<br> * Simona Ronchi Della Rocca (Università di Torino)<br> * Aleksy Schubert (University of Warsaw)<br> * Wouter Swierstra (Utrecht University)<br> * Tarmo Uustalu (Tallinn University of Technology)<br><br><br><br>TYPES STEERING COMMITTEE<br><br>Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph<br>Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu.<br><br><br><br>ABOUT TYPES<br><br>The TYPES meetings from 1990 to 2008 were annual workshops of a<br>sequence of five EU funded networking projects. From 2009 to 2015,<br>TYPES has been run as an independent conference series. From 2016,<br>TYPES is partially supported by COST Action EUTypes CA15123. Previous<br>TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad<br>(1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996),<br>Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near<br>Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004),<br>Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois<br>(2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014),<br>Tallinn (2015), Novi Sad (2016).<br><br><br><br>CONTACT<br><br>Email: <a href="mailto:info@types2017.elte.hu">info@types2017.elte.hu</a><br><br>Organisers: Ambrus Kaposi, Tamás Kozsik, András Kovács and the<br>Department of Programming Languages and Compilers at the Faculty of<br>Informatics, Eötvös Loránd University, Budapest.<br></div>