Welcome to the 11th Workshop on Type-driven Development (TyDe 2026) submissions site. For general information, see https://tydeworkshop.org/2026.
Submissions
Sign in to manage submissions.
Research Papers deadline: Thursday Jun 4, 2026, 1:59:59 PM CEST
Extended Abstracts deadline: Thursday Jun 25, 2026, 1:59:59 PM CEST