Confirmed invited speakers

TYPES 2025 will have the following invited speakers (more to be confirmed).

Ingo Blechschmidt (University of Augsburg)
Sonia Marin (University of Birmingham)
Chris Martens (Northeastern University)
Christian Sattler (Chalmers University of Technology and University of Gothenburg)

Sponsors

Gold sponsor

Jane Street

Bronze sponsors

Formal Vindications

Well-typed