[TYPES/announce] TYPES 2026: Call for Participation

[Ana Bove]

32nd International Conference on Types for Proofs and Programs,
4-8 May 2026, Gothenburg, Sweden, <https://urldefense.com/v3/__https://types2026.cse.chalmers.se/__;!!IBzWLUs!QNThL0CJLvY59xe6oufRIhy9TCTS1nrSycIYYm8zZ6U9zx67AMKOkqri7rsEd3K7t9yPAA-jwEcVI0H4W_c7qPW0SCDCrQ$ >

Registration
------------

Registration is open; for details, see:
<https://urldefense.com/v3/__https://types2026.cse.chalmers.se/registration.html__;!!IBzWLUs!QNThL0CJLvY59xe6oufRIhy9TCTS1nrSycIYYm8zZ6U9zx67AMKOkqri7rsEd3K7t9yPAA-jwEcVI0H4W_c7qPWsrF4R9g$ >

* early registration closes 2 March (extended) *4 March* (AoE),
* late registration closes 16 April (AoE).

In addition to the early registration discount, there is a student 
discount (phd students ARE students :).


Invited speakers
----------------

- Daniel Gratzer (Aarhus University, Denmark)
- András Kovács (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
-----------------

See <https://urldefense.com/v3/__https://types2026.cse.chalmers.se/accepted.html__;!!IBzWLUs!QNThL0CJLvY59xe6oufRIhy9TCTS1nrSycIYYm8zZ6U9zx67AMKOkqri7rsEd3K7t9yPAA-jwEcVI0H4W_c7qPVg-6lLhg$ >


Background
----------

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.

-- 
-- Ana Bove, on behalf of TYPES 2026 organisation team
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__https://www.chalmers.se/en/persons/bove__;!!IBzWLUs!QNThL0CJLvY59xe6oufRIhy9TCTS1nrSycIYYm8zZ6U9zx67AMKOkqri7rsEd3K7t9yPAA-jwEcVI0H4W_c7qPXNaKWC5A$ 
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260226/3cd0de59/attachment-0001.htm>