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

Conference location

TYPES 2023 will be located at Universitat Politècnica de València (UPV), more specifically at the 1E building of the School of Informatics (ETSInf).

You can locate building 1E on the left part of the following interactive map. The map shows also the closest tram/metro and bus stops.

Interactive map of UPV

Here you can find information on how to reach the university.

Practical information

Links to public transport in Valencia

  • Subway/tramway and the app.
  • Bus.
  • Public transport viewer.
  • If you plan to move by bus/tram/underground, the "Suma 10" card (10 trips) can be a good option. Info here.

  • Airport to the city:
    • Subway at the airport. Located on the ground floor of the airport. You can buy the tickets at the station. There is a special rate for this connection. The simplest way to reach the university is underground(L3)+tram(L4 or L6).
    • Bus connection (detailed info in Spanish): There are two lines of bus that go between the airport and the city.
    • Taxi at the airport. A special fee is added to the cost for trips from/to the airport.
  • Transport to the UPV: see the UPV interactive map to consult the different lines and stops around the university.

Museums in Valencia

Visiting Valencia

Local organization


e-mail: types2023@upv.es