FormaliSE 2024 took place on 14-15 April 2024, in Lisbon, Portugal, as a co-hosted conference of the International Conference on Software Engineering (ICSE2024). Carlo A. Furia (Università della Svizzera italiana, Switzerland) and Antónia Lopes (University of Lisbon, Portugal) were this year’s PC Co-chairs. 41 papers were submitted, which is amongst the highest level in recent years, of which 14 were accepted (11 full research papers, 1 case study and 2 research ideas).
About FME | Formal Methods | Events | FME Awards |