TYPES 2025

Call for postproceedings papers
Call for contributions
Committees
Invited speakers
Accepted talks
Registration
Programme
Practical information
Book of abstracts
Group photo

Group photo

TYPES 2025 attendees

Sponsors

Gold sponsor

Jane Street

Bronze sponsors

Formal Vindications

Well-typed

IOHK

Other sponsors

Tunnock's