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


The TYPES meeting will run from Monday June 12th to Thursday June 15th

The list of accepted papers, talks recordings and slides when available can be found here.

Full program is available here.

Collection of abstract can be downloaded through this link

Program scheme
Social program

The social event will take place on Wednesday 14th. Buses will depart from UPV and we will enjoy a guided tour walking the city center. If you miss the Bus, meeting point is at 6 pm at Torres dels Serrans.

Other (public) transportation options to reach the meeting point:

  1. Tram Stop: Pont de Fusta. Line 4.
  2. Bus Stop: Pont dels Serrans. Lines 6, 16, 26, 94 and C2.
  3. Bus Stop: Guadalaviar-Sagunt. Lines 94, 95 and C2.

After the guided tour, conference dinner will be served at 9 pm at NH Valencia Center.