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
FROM, September 16-18 2024, Timișoara, Romania
In conjunction with SYNASC 2024
Organizers
FROM 2024
FROM 2024 DETAILS
PRESS HERE
Organizing Commitee
Our Team
Mădălina Erașcu
West University of Timisoara
Monica Tirea
West University of Timisoara
Ștefan Secrieru
West University of Timisoara