<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>
</p>
<div class="moz-text-flowed" style="font-family: -moz-fixed;
font-size: 12px;" lang="x-unicode">[ Apologies for multiple
postings ]
<br>
<br>
=====================================================================
<br>
<br>
Call for Contributions
<br>
<br>
TYPES 2023
<br>
29th International Conference on
<br>
Types for Proofs and Programs
<br>
<br>
Valencia, Spain, 12 - 15 June 2023
<br>
<a class="moz-txt-link-freetext"
href="https://types2023.webs.upv.es/">https://types2023.webs.upv.es/</a>
<br>
<br>
<br>
OVERVIEW
<br>
--------------
<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
formalized
<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>
<br>
CONTRIBUTED TALKS
<br>
--------------------
<br>
<br>
TYPES solicits contributed talks to stimulate discussions.
Selection
<br>
of those will be based on extended abstracts/short papers of 2 pp
<br>
(not including bibliography) formatted with easychair.cls. The
<br>
submission site is <a class="moz-txt-link-freetext"
href="https://easychair.org/conferences/?conf=types2023">https://easychair.org/conferences/?conf=types2023</a>
<br>
<br>
<br>
IMPORTANT DATES
<br>
------------------
<br>
<br>
* Submission of abstract 6 March 2023 AoE
<br>
* Author notification 5 May 2023
<br>
* Camera-ready version of abstract 12 May 2023 AoE
<br>
* Conference 12 - 15 June 2023
<br>
<br>
Camera-ready versions of the accepted contributions will be
published
<br>
in an informal book of abstracts for distribution during the
conference.
<br>
<br>
<br>
POST-PROCEEDIGNS
<br>
-------------------
<br>
<br>
A post-proceedings volume will be published in the Leibniz
International
<br>
Proceedings in Informatics (LIPIcs) series. Submission to that
volume
<br>
will be open to everyone.
<br>
<br>
Tentative submission deadline for the post-proceedings: October
2023.
<br>
<br>
<br>
PROGRAMME COMMITTEE
<br>
---------------------
<br>
Andreas Abel (Gothenburg University, Sweden)
<br>
Bahareh Afshari (U. of Gothenburg, Sweden & U. of
Amsterdam, The Netherlands)
<br>
Carlo Angiuli (Carnegie Mellon University, USA)
<br>
Stefano Berardi (University of Torino, Italy)
<br>
Marc Bezem (University of Bergen, Norway)
<br>
Ulrik Buchholtz (University of Nottingham, UK)
<br>
Cyril Cohen (Inria Sophia Antipolis - Méditerrannée,
France)
<br>
Herman Geuvers (Radboud University, The Netherlands)
<br>
Silvia Ghilezan (University of Novi Sad, Serbia)
<br>
Robert Harper (Carnegie Mellon University, USA)
<br>
Eduardo Hermo Reyes (Formal Vindications, Spain) (co-chair)
<br>
Ambrus Kaposi (Eötvös Loránd University, Hungary)
<br>
Delia Kesner (Université Paris Cité, France)
<br>
Ekaterina Komendantskaya (Heriot-Watt University, UK)
<br>
Marina Lenisa (Università degli Studi di Udine, Italy)
<br>
Assia Mahboubi (INRIA, France)
<br>
Ralph Matthes (IRIT - CNRS and University of Toulouse,
France)
<br>
Leonardo de Moura (Microsoft, USA)
<br>
Sara Negri (Università degli Studi di Genova, Italy)
<br>
Luca Padovani (Università di Camerino, Italy)
<br>
Pierre-Marie Pédrot (INRIA, France)
<br>
Luís Pinto (Universidade do Minho, Portugal)
<br>
Anton Setzer (Swansea University, UK)
<br>
Alicia Villanueva (U. Politècnica de València, Spain)
(co-chair)
<br>
<br>
<br>
TYPES STEERING COMMITTEE
<br>
<br>
Sandra Alves (University of Porto, Portugal) (Secretary)
<br>
Henning Basold (Leiden University, The Netherlands) (SC chair)
<br>
Eduardo Hermo Reyes (Formal Vindications, Spain)
<br>
Paige Randall North (Utrecht University, The Netherlands)
<br>
Matthieu Sozeau (INRIA & Université de Nantes, France)
<br>
Benno van den Berg (University of Amsterdam, The Netherlands)
<br>
<br>
ABOUT TYPES
<br>
<br>
The TYPES meetings from 1990 to 2008 were annual workshops of a
sequence
<br>
of five EU funded networking projects. From 2009 to 2021, TYPES
has been
<br>
run as an independent conference series. Previous TYPES meetings
were
<br>
held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen
<br>
(1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster
Irsee
<br>
(1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen
<br>
(2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham
<br>
(2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009),
<br>
Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014),
Tallinn
<br>
(2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo
(2019),
<br>
Virtual (2021), Nantes (2022).
<br>
<br>
<br>
CONTACT
<br>
<br>
Email: <a class="moz-txt-link-abbreviated moz-txt-link-freetext"
href="mailto:types2023@easychair.org">types2023@easychair.org</a>
<br>
<br>
<br>
ORGANIZERS:
<br>
<br>
Mireia González Bedmar (Formal Vindications, Spain)
<br>
Alicia Villanueva (VRAIN & Universitat Politècnica de
València, Spain)
<br>
<br>
</div>
</body>
</html>