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.
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.
- 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.
If you plan to move by bus/tram/underground, the "Suma 10" card (10 trips) can be a good option. Info here.
Museums in Valencia
- Science museum: Ciutat de les Arts i les Ciències.
- Fine Arts Museum: Museu de Belles Arts.
- MUPREVA and ETNO museums (prehistoric and ethnographic).
- Modern art museum: IVAM.
- Ceramic National Museum.
- Museu L'Íber (tin solders museum).
Visiting Valencia
- Gardens:
- Jardí fluvial del Túria. From East (Ciutat de les Arts i les Ciències) to West (Capçalera Park).
- Jardí de Vivers.
- Jardins de Monfort.
- Central Park.
- Jardí Botànic.
- Beaches:
Local organization
- Damián Aparicio (VRAIN & Universitat Politècnica de València, Spain)
- Carlos Galindo (VRAIN & Universitat Politècnica de València, Spain)
- Víctor García (VRAIN & Universitat Politècnica de València, Spain)
- Mireia González Bedmar (Formal Vindications, Spain)
- Raúl López (VRAIN & Universitat Politècnica de València, Spain)
- Miguel Martí (Formal Vindications, Spain)
- Cristina Padró (VRAIN & Universitat Politècnica de València, Spain)
- Sergio Pérez (VRAIN & Universitat Politècnica de València, Spain)
- Julia Sapiña (VRAIN & Universitat Politècnica de València, Spain)
- Alicia Villanueva (VRAIN & Universitat Politècnica de València, Spain)
Contact
e-mail: types2023@upv.es