Email Gateway (Mar 08 2023 at 17:37): Email Gateway (Mar 08 2023 at 17:37):From: Alicia Villanueva <villanue@dsic.upv.es>
[ Apologies for multiple postings ]
==============================================================
TYPES 2023: Call for Contributions -- Deadline extension
==============================================================
==============================================================
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 formalised
and computer assisted reasoning and computer programming.
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.
CONTRIBUTED TALKS
TYPES solicits contributed talks to stimulate discussions. Selection
of those will be based oncextended abstracts/short papers of 2 pp
(not including bibliography) formatted with easychair.cls. The
submission site is https://easychair.org/conferences/?conf=types2023
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)
Last updated: Apr 24 2024 at 12:33 UTC