FM 2024
26th International Symposium on Formal MethodsPolitecnico di Milano, Milan, Italy
Homepage: https://www.fm24.polimi.it/
Call for Papers: https://www.fm24.polimi.it/?page_id=59#call-for-papers Deadline: 5, Apr, 2024
FM 2024 is the 26th international symposium in a series organized by Formal Methods Europe (FME). The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems.
Short link for this page: www.cister.isep.pt/events/2092