Logic List Mailing Archive
CfP: TYPES 2025 – 31st International Conference on Types for Proofs and Programs, 9–13 June 2025, Glasgow (Scotland)
[The TYPES 2025 submission deadline is less than a month away.]
Second Call for Contributions
TYPES 2025
31st International Conference on
Types for Proofs and Programs
Glasgow, Scotland, 9 -- 13 June 2025
https://msp.cis.strath.ac.uk/types2025/
OVERVIEW
--------
The TYPES meetings are a forum to present new and ongoing work in all aspec
ts of type theory and its applications, especially in formalised and comput
er 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 spiri
t of workshops, talks may be based on newly published papers, work submitte
d for publication, but also work in progress. Participation in the meeting
is primarily in person, as face-to-face interactions are highly valuable. I
f you need to discuss remote participation, please contact the PC chair.
Researchers from COST Inclusiveness Target Countries are reminded that the
European Research Network on Formal Proofs COST action has some funding ava
ilable for conference attendance, see https://europroofnet.github.io/grants
/ .
CONTRIBUTED TALKS
-----------------
TYPES solicits contributed talks to stimulate discussions. Selection of tho
se will be based on extended abstracts/short papers of 2 pp (not counting t
he bibliography) formatted with easychair.cls.
The submission site is:
https://openreview.net/group?id=TYPES/2025/Conference
IMPORTANT DATES
---------------
* Submission of 2-page abstract 3 March 2025 AoE
* Author notification 11 April 20
25 AoE
* Camera-ready version of abstract 9 May 2025 AoE
* Conference
9 -- 13 June 2025
Camera-ready versions of the accepted contributions will be published in an
informal book of abstracts for distribution during the conference.
INVITED SPEAKERS
----------------
Ingo Blechschmidt (University of Augsburg) Sonia Marin (University of Birmi
ngham) Chris Martens (Northeastern University) Christian Sattler (Chalmers
University of Technology and University of
Gothenburg)
POST-PROCEEDINGS
----------------
A post-proceedings volume will be published in the Leibniz International Pr
oceedings in Informatics (LIPIcs) series. Submission to that volume will be
open to everyone.
Tentative submission deadline for the post-proceedings: October 2025.
VISA ISSUES
-----------
Note that even if you are lucky enough to not require a visa to enter the U
K, by the time TYPES happens, you might still need to apply for electronic
travel authorisation.
https://www.gov.uk/guidance/apply-for-an-electronic-travel-authorisation-eta
If you do need a visa, we are happy to write you a letter of invitation, co
nfirming that you have registered for the conference.
CONFIRMED SPONSORS
------------------
Formal Vindications
Well-Typed
PROGRAMME COMMITTEE
-------------------
Danel Ahman (University of Tartu, Estonia) Guillaume Allais (University of
Strathclyde, Scotland) Malin Altenmller (University of Edinburgh, Scotla
nd) Sandra Alves (University of Porto, Portugal) Casper Bach (University of
Southern Denmark, Denmark) Ana Bove (Chalmers and University of Gothenburg
, Sweden) Liang-Ting Chen (Academia Sinica, Taiwan) Vikraman Choudhury (Uni
versity of Bologna, Italy) Gilda Ferreira (Universidade Aberta, Portugal) D
aniel Gratzer (Aarhus University, Denmark) Tom de Jong (University of Notti
ngham, England) Dominik Kirst (Inria Paris, France) Neel Krishnaswami (Univ
ersity of Cambridge, England) Andrs Kovcs (University of Gothenburg a
nd Chalmers, Sweden) Peter LeFanu Lumsdaine (Stockholm University, Sweden)
Kenji Maillard (Inria Rennes-Bretagne Atlantique, France) Max New (Universi
ty of Michigan, United States of America) Fredrik Nordvall Forsberg (Univer
sity of Strathclyde, Scotland) (chair) Elaine Pimentel (University College
London, England) Andrew Swan (University of Ljubljana, Slovenia) Tarmo Uust
alu (Reykjavk University, Iceland) Niels van der Weide (Radboud Universi
ty Nijmegen, The Netherlands) Tho Winterhalter (Inria Saclay, France) Ma
aike Zwart (IT University Copenhagen, Denmark)
TYPES STEERING COMMITTEE
------------------------
Eduardo Hermo Reyes (Formal Vindications, Spain) Tom de Jong (University of
Nottingham, England) Rasmus Ejlers Mgelberg (IT University of Copenhage
n, Denmark) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland)
Paige Randall North (Utrecht University, The Netherlands) (chair) Benno va
n den Berg (University of Amsterdam, The Netherlands) (secretary)
ABOUT TYPES
-----------
The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of
five EU funded networking projects. From 2009 onwards, TYPES has been run
as an independent conference series. Previous TYPES meetings were held in A
ntibes (1990), Edinburgh (1991), Bstad (1992), Nijmegen (1993), Bstad
(1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lkeberg (1
999), 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 (2
018), Oslo (2019), Virtual (2021), Nantes (2022), Valncia (2023), Copenh
agen (2024).
CONTACT
-------
Email: CIS_types2025@groups.strath.ac.uk
ORGANIZERS
----------
Guillaume Allais (University of Strathclyde, Scotland) Stuart Gale (Univers
ity of Strathclyde, Scotland) Fredrik Nordvall Forsberg (University of Stra
thclyde, Scotland)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php