🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

New in FormaliSE 2024! The deadline is in December 2023 (instead of January, as in previous years).

We are two weeks away from the Abstract Deadline: Dec 1st! For more details, check our website: formalise2024.github.io

📢The submission deadline for #FormaliSE24 was extended! 📷Abstract deadline: 7 December 2023 📃Submission deadline: 15 December 2023 For further detail take a look at our website at formalise2024.github.io

Cristian Cadar opening #formalise24 with a sweeping perspective on formal and informal methods for software development FormaliSE Formal Methods Europe

Cristina Stratan is ready to present her PhD work on diagnosing violations of time-based properties captured in iCFTL at #formalise2024 FormaliSE

Introduction of FormaliSE at ICSE this morning.

A few slides from Christian Cadar’s keynote FormaliSE

Afternoon snack before FormaliSE's dinner. This ICSE is definitely my kind of event! 😆

Claire Dross opens the second day of #formalise24 with an exciting talk about the collaboration between deductive verification and data flow analysis in SPARK 2014 Formal Methods Europe FormaliSE

We are pleased to announce that the call for papers for Formali'SE 2025, Ottawa, Canada has been published! It is available on the dedicated website: 2025.formalise.org

Call for Papers: FormaliSE 2025 - mailchi.mp/6dcb7cfdefb9/a…

We are pleased to announce that the committee is now complete! Its members can be found on the dedicated website: 2025.formalise.org

We're pleased to announce the Call for Artifact for FormaliSE 2025, the International Conference on Formal Methods in Software Engineering. Details and submission guidelines are provided on the dedicated page of our website: 2025.formalise.org/track/Formalis…

We are pleased to announce that the deadlines for the call for abstracts and for the call for papers have been extended! 😃 - Call for abstracts new deadline: 18 November 2024 (less than one week! 🔔) - Call for papers new deadline: 25 November 2024 Do not forget to submit!

We are pleased to announce that the deadline for the call for artifacts has been extended! 😃 - Artifact registration new deadline: 25 November 2024 (one week from now! 🔔) - Artifact submission new deadline: 2 December 2024 Do not forget to submit!

📢 We are thrilled to announce you that the list of papers accepted to the FormaliSE conference is now online! 🔗 You can find this list on the conference website: 2025.formalise.org/#event-overview. 📅 The schedule of the conference will be published soon.

📢 The registration for the FormaliSE 2025 conference is now open! 🔗 It can be done directly from the website: 2025.formalise.org/attending/regi… 📅 The early registration ends on February the 18th so do not forget to register beforehand to get the reduction!

Registration for FormaliSE 2025 now open - mailchi.mp/6a00a6192ee5/a…

FormaliSE 2025: call for particiption - mailchi.mp/d4f79ed6039e/a…

📢 The final program and the keynotes speakers are now available online! 🔗 You can find all the information online in the call for participation: mailchi.mp/d4f79ed6039e/a… 📅 Discount reservations at selected hotels are still available, but will expire soon! 🕗