Skip to content

FROM 2020 (virtual): The 4th Working Formal Methods Symposium, September 4-6 , 2020

Faculty of Mathematics and Computer Science, Babes-Bolyai University
  • About The Conference
  • Topics of Interest
  • Conference Organization
    • Organization Committee
    • Software Engineering Group
    • Faculty of Mathematics and Computer Science
    • Babeș-Bolyai University
  • Program Committees
  • Invited Speakers
  • Paper Submissions
  • Conference Programme

Conference Registration

The registration is free. Please register at: https://www.eventbrite.com/e/symposium-from-2020-tickets-118317539947 .

© 2025 FROM 2020 (virtual): The 4th Working Formal Methods Symposium, September 4-6 , 2020 | Designed by: Theme Freesia | Powered by: WordPress