[ Apologies for multiple postings ] ===================================================================== ?????????????????????????????????????????????????????? Call for Contributions ?????????????????????????????????????????????????????????????????? TYPES 2023 ???????????????????????????????????????????? 29th International Conference on ???????????????????????????????????????????????? Types for Proofs and Programs ?????????????????????????????????????????? Valencia, Spain, 12 - 15 June 2023 ?????????????????????????????????????????????? https://types2023.webs.upv.es/ OVERVIEW -------------- The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. 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. CONTRIBUTED TALKS -------------------- TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2023 IMPORTANT DATES ------------------ * Submission of abstract?????????????????????????? 6 March 2023 AoE * Author notification?????????????????????????????? ?? 5 May 2023 * Camera-ready version of abstract?????? 12 May 2023 AoE * Conference?????????????????????????????????????????????????? 12 - 15 June 2023 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. POST-PROCEEDIGNS ------------------- A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: October 2023. PROGRAMME COMMITTEE --------------------- Andreas Abel ?????? ???? ???????? (Gothenburg University, Sweden) Bahareh Afshari ?????? ???????? (U. of Gothenburg, Sweden & U. of Amsterdam, The Netherlands) Carlo Angiuli ?????? ?????? ???? (Carnegie Mellon University, USA) Stefano Berardi ?????? ???????? (University of Torino, Italy) Marc Bezem ?????? ?????? ?????????? (University of Bergen, Norway) Ulrik Buchholtz ?????? ???????? (University of Nottingham, UK) Cyril Cohen ?????? ?????? ???????? (Inria Sophia Antipolis - M??diterrann??e, France) Herman Geuvers ?????? ?????? ?? (Radboud University, The Netherlands) Silvia Ghilezan ?????? ???????? (University of Novi Sad, Serbia) Robert Harper ?????? ?????? ???? (Carnegie Mellon University, USA) Eduardo Hermo Reyes ?????? ??(Formal Vindications, Spain) (co-chair) Ambrus Kaposi ?????? ?????? ???? (E??tv??s Lor??nd University, Hungary) Delia Kesner ?????? ?????? ?????? (Universit?? Paris Cit??, France) Ekaterina Komendantskaya (Heriot-Watt University, UK) Marina Lenisa ?????? ?????? ???? (Universit?? degli Studi di Udine, Italy) Assia Mahboubi ?????? ?????? ?? (INRIA, France) Ralph Matthes ?????? ?????? ???? (IRIT - CNRS and University of Toulouse, France) Leonardo de Moura ?????? ???? (Microsoft, USA) Sara Negri?????? ?????? ???????????? (Universit?? degli Studi di Genova, Italy) Luca Padovani ?????? ?????? ???? (Universit?? di Camerino, Italy) Pierre-Marie P??drot ?????? ??(INRIA, France) Lu??s Pinto ?????? ?????? ?????????? (Universidade do Minho, Portugal) Anton Setzer ?????? ?????? ?????? (Swansea University, UK) Alicia Villanueva ?????? ???? (U. Polit??cnica de Val??ncia, Spain) (co-chair) TYPES STEERING COMMITTEE Sandra Alves (University of Porto, Portugal) (Secretary) Henning Basold (Leiden University, The Netherlands) (SC chair) Eduardo Hermo Reyes (Formal Vindications, Spain) Paige Randall North (Utrecht University, The Netherlands) Matthieu Sozeau (INRIA & Universit?? de Nantes, France) Benno van den Berg (University of Amsterdam, The Netherlands) ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2021, 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), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022). CONTACT Email: types2023@easychair.org ORGANIZERS: Mireia Gonz??lez Bedmar (Formal Vindications, Spain) Alicia Villanueva (VRAIN & Universitat Polit??cnica de Val??ncia, Spain) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]