Skip to content
ConferenceIn personPast event

TYPES 2026

Event artwork for TYPES 2026

This event has ended

This listing is kept as an archive. Explore upcoming events to find your next one.

See upcoming events

Supporting this event

Sponsors

ICT AoA, ChalmersAmazonJane StreetFormal VindicationsQuantinuum
About this event

What to expect

TYPES 2026 is the 32nd International Conference on Types for Proofs and Programs, taking place at the Lindholmen Conference Centre in Gothenburg, Sweden from 4–8 May 2026. Organised by the Logic and Types research group at Chalmers University of Technology and University of Gothenburg, this prestigious Marcus Wallenberg Symposium brings together researchers, practitioners, and industry professionals working at the intersection of type theory, formal verification, and automated reasoning.

What to Expect

This five-day conference serves as a premier forum for presenting new and ongoing work across all aspects of type theory and its applications. Whether you're developing proof assistants, formalising mathematics, or exploring dependently typed programming, TYPES 2026 offers an opportunity to engage with cutting-edge research and connect with the global types community.

Key topic areas include:

  • Foundations: Type theory fundamentals and constructive mathematics
  • Proof Technology: Proof assistants and automation in computer-assisted reasoning
  • Applications: Industrial uses of type theory, dependently typed programming, and formalising mathematics
  • Interdisciplinary Connections: Links to functional programming, homotopy theory, linguistics, and machine learning
  • Meta-Theory: Meta-theoretic studies of type systems

Conference Format

In the spirit of workshops, TYPES encourages diverse contributions — from newly published papers and work submitted for publication to ongoing research and work in progress. This inclusive approach fosters vibrant discussion and knowledge exchange across different stages of research development.

The conference attracts participants working with various proof assistants and formal verification tools, making it an excellent venue to learn about the latest developments in computer-assisted reasoning and theorem proving technologies.

Who Should Attend

TYPES 2026 is ideal for researchers, PhD students, and practitioners interested in:

  • Developing or using proof assistants and formal verification tools
  • Type-theoretic foundations of programming languages
  • Formal methods and certified software
  • Mathematical formalisation and mechanised proofs
  • Dependently typed functional programming
  • Applications of type theory in industry

The TYPES Legacy

The TYPES conference series has been running since 1990, initially as annual workshops funded by EU networking projects, and from 2009 onwards as an i

Running an AI event?

List it here, free.

Meetups, workshops and conferences go in front of thousands of builders after a quick review.

List your event