TYPES 2023
29th International Conference on Types for Proofs and Programs


Conference fees

Registration modality Early registration (Until May 21st) Late registration (After May 21st)
Regular 300 350
Student 200 250
Accompanying person 100 100

All fees are in Euro (EUR) and include VAT.

  • Students must send a justification or their status to types2023@upv.es
  • The fee of regular and student modalities includes: access to all talks and sessions, a welcome kit, the coffee breaks, a guided-tour around Valencia, and the social dinner.
  • The fee for Accompanying person includes access to all social events.



Registration is closed.

  • NOTE: You can request an invoice with the information of your University or Company in the Registration System (Tab Payments / Request invoice)

You will receive your confirmation of registration by email.

For changes and cancellations, please see the TYPES 2023 change and cancellation policy below.

If you have any issues or questions with the registration payment or changes/cancellations, please contact types2023@upv.es


Change, cancellation and reimbursement policy

Cancellation of registration must be made in writing (email) to types2023@upv.es by May 29, 2023. A cancellation fee of 25€ will be applied due to administrative work. Cancellation fee for requests received after that date will be 125€. You may send a colleague in your place at no additional cost. In such case, please contact us at types2023@upv.es as soon as possible.