Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: events

Topic: TYPES 2026

Christian Sattler (Jan 08 2026 at 17:00):

Submission of abstracts has been extended until January 20 (AoE):
<https://types-hotcrp.paris.inria.fr/types26-conf/>

TYPES 2026 Final Call for Contributions

32nd International Conference on Types for Proofs and Programs,
4-8 May 2026, Gothenburg, Sweden, <https://types2026.cse.chalmers.se/>

Overview

The TYPES meetings are a forum to present new and ongoing 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:

• 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;
• formalizing mathematics using type theory;
• links between type theory and
  • functional programming;
  • homotopy theory;
  • linguistics;
  • machine learning.

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. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.

Contributed Talks

TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts of 2 pages.

Submission instructions

Extended abstracts:

• are limited to 2 pages (not counting the bibliography),
• should follow the EasyChair style, obtainable from <https://easychair.org/publications/for_authors>,
• be submitted at <https://types-hotcrp.paris.inria.fr/types26-conf/>.

Important dates

• Submission deadline: 20 January 2026 AoE (extended)
• Author notification: 20 February 2026 AoE
• Camera-ready version of abstracts due: 3 April 2026 AoE
• Conference: 4-8 May 2026

Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference.

Program committee

• Andreas Abel (University of Gothenburg, Sweden) (co-chair)
• Thorsten Altenkirch (University of Nottingham, UK)
• Andrej Bauer (University of Ljubljana, Slovenia)
• Jasmin Blanchette (Ludwig-Maximilians-Universität München, Germany)
• Edwin Brady (University of St Andrews, UK)
• Ivan Di Liberti (University of Gothenburg, Sweden)
• Silvia Ghilezan (University of Novi Sad, Serbia)
• Dan Licata (Wesleyan University, US)
• Zhaohui Luo (Royal Holloway, University of London, UK)
• Marino Miculan (University of Udine, Italy)
• Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)
• Paige North (Utrecht University, Netherlands)
• Vincent Rahli (University of Birmingham, UK)
• Christian Sattler (Chalmers University of Technology, Sweden) (co-chair)
• Gabriel Scherer (INRIA, Université Paris Cité, France)
• Michael Shulman (University of San Diego, US)
• Gerd Smolka (Saarland University, Germany)
• Matthieu Sozeau (INRIA, MTI Atlantique, Nantes University, France)
• Kathrin Stark (Heriot-Watt University, UK)
• Sebastian Ullrich (Lean Focused Research Organization)
• Josef Urban (Czech Technical University in Prague, Czech Republic)
• Nicolas Tabareau (INRIA, MTI Atlantique, Nantes University, France)
• Niccolò Veltri (Tallinn University of Technology, Estonia)
• Stephanie Weirich (University of Pennsylvania, US)

Post-proceedings

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 2026.

Christian Sattler (Feb 11 2026 at 00:44):

TYPES 2026 Call for Participation

32nd International Conference on Types for Proofs and Programs,
4-8 May 2026, Gothenburg, Sweden, <https://types2026.cse.chalmers.se/>

Registration

Registration is open; for details, see: <https://types2026.cse.chalmers.se/registration.html>

• early registration closes 2 March (AoE),
• late registration closes 16 April (AoE).

In addition to the early registration discount, there is a student discount.

Invited speakers

• Daniel Gratzer (Aarhus University, Denmark)
• András Kovacs (University of Gothenburg, Sweden)
• Assia Mahboubi (INRIA, France, and Vrije Universiteit Amsterdam, Netherlands)
• Clément Pit-Claudel (EPFL, Switzerland)
• Emily Riehl (Johns Hopkins University, US)

Contributed Talks

Accepted contributed talks will be announced on February 20:
<https://types2026.cse.chalmers.se/accepted.html>

Christian Sattler (Mar 02 2026 at 13:28):

Early registration has been extended until 4 March.

Christian Sattler (Mar 13 2026 at 13:00):

Early registration has been extended until 16 March.