4 - 8 May 2026, 32nd Int’l Conference on Types for Proofs and Programs (TYPES 2026), Gothenburg [SE]
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.
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.
TYPES solicits contributed talks to stimulate discussions. Talks proposing new ways of applying type theory are encouraged. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Selection of those will be based on extended abstracts of 2 pages.
For more information see https://types2026.cse.chalmers.se/call-for-contributions.html.