Skip to content
Working Formal Methods Symposium 2026
Home
About FROM
Previous FROM editions
Dates
Informations for authors
Call For Papers
Topics of interest
Submission
Fees
Accommodation
Contact
Invited Speakers
Committees
Program
Registration
Venue
FROM, September 15-17 2026, Timișoara, Romania
In conjunction with SYNASC 2026
Organizers
FROM 2026
ABOUT FROM 2026
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
