Conference

TYPES

’25

Types for Proofs and Programs

Glasgow, ScotlandJune 9 – 13, 2025easychair

Types
Proof Assistants

Dates & Deadlines

AbstractMar 10passed
NotificationApr 11passed

Last updated May 17, 2026