Hi, you are logged in as , if you are not , please click here
You are shopping as , if this is not your email, please click here

31st International Conference on Types for Proofs and Programs (TYPES 2025)

Info
Location
Attendee Categories
Contact

Event Information

Highland cow within a blue circle with Greek lettering and TYPES2025 written beneath
Dates of Event
9th June 2025 – 13th June 2025
Last Booking Date for this Event
30th May 2025

Description

The TYPES conference is a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. 

More information can be found on the TYPES webpage.

Attendee CategoryCost   
2. Early bird student registration£250.00
Book Event

Recently Added

How would you rate your experience today?

How can we contact you?

What could we do better?

   Change Code
Cancel
Send