Skip to content
Working Formal Methods Symposium 2024
Accommodation
Call For Papers
Commitees
Contact
Dates
Submission
Speakers
Program
Publication
Registration
Travel arrangements
Venue
Previous editions
FROM 2017
FROM 2018
FROM 2019
FROM 2020
FROM 2021
FROM 2022
FROM 2023
FROM 2024
Travel arrangements
air travel to Timisoara:
Traian Vuia Timisoara Airport
via Bucuresti: various (from Bucuresti to Timisoara by plane – 1h or by train – 10 h).
via Budapest: various (from Budapest to Timisoara by plane – 1h or by train – 7h or by bus – 5h)
