Skip to content
FROM 2023

Working Formal Methods Symposium

  • Home
  • Registration
  • Invited Speakers
  • Committees
  • Program
  • Location
  • Participants
  • Proceedings
  • Previous Editions
    • FROM 2022
    • FROM 2021
    • FROM 2020
    • FROM 2019
    • FROM 2018
    • FROM 2017

Location

The symposium will be held at the Faculty of Mathematics and Computer Science, University of Bucharest (Academiei 14), in the Haret Amphitheatre (located on the ground floor).

The official dinner (21 September) will be held at the Institute for Logic and Data Science (Popa Tatu 18):

©2025 FROM 2023 | WordPress Theme Design by Superbthemes