Book of abstracts

The book of abstracts can be downloaded here: TYPES 2025 Abstracts. Individual abstracts are also linked from the list of accepted talks.

Sponsors

Gold sponsor

Jane Street

Bronze sponsors

Formal Vindications Well-typed IOHK

Other sponsors

Tunnock's