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). The overall acceptance rate was 34%. As is common these days, artifact evaluations took place. Invited speakers were Cristian Cadar (Imperial College London, UK) and Claire Dross (Adacode, Paris, France). The vibrant, two-day event itself attracted 60 attendees, which makes it the most successful FormaliSE edition thus far. Details can be found at https://formalise2024.github.io.
FormaliSE 2025 will be co-located with ICSE 2025, 27 April - 3 May 2025, in Ottawa, Ontario, Canada. PC Co-chairs (selected after consultation with the FormaliSE Steering Committee) will be Gwen Salaun (INRIA, France) and Anastasia Mavridou (NASA, USA).