Interview with Wolfgang Ahrendt and Marie-Christine Jakobs about the merger of FASE and iFM.

The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...

Copenhagen, Denmark, April 10–15, 2027

For our regular SEN-ESE column in the ACM SIGSOFT Software Engineering Notes (see https://dl.acm.org/doi/abs/10.1145/3772008.3772012), we would like to discuss insights into the current state of peer ...

INSTITUTE OF SOFTWARE ENGINEERING | AT THE NEXT POSSIBLE DATE

Turing Award winner and former Oxford professor  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

This survey collects the opinions of members of the formal methods community about conference rankings, and the ICORE rankings in particular. It has been organized by the board of Formal Methods Europ...

FME is now inviting proposals to host the 28th edition of the International Symposium on Formal Methods in autumn 2027. Since FM 2026 will take place in Asia, FM 2027 should preferably be held in…

FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on,…

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

Registration is now open! New Registration Update Registration Early Registration Deadline: 25 October 2025 At least one author per accepted paper or PhD Symposium presentation must register by the ea...

YouTube video by LilKirbs

Games like Super Mario Maker 2 (SMM2) lower the barrier for casual users to become level designers. In this paper, we set out to analyze a vast amount of data about SMM2 user-written levels, in order ...

FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

The World Expo is taking place in Osaka from 13 April to 13 October. Switzerland has a pavilion featuring a narrative installation blending art and science, created by CodeLounge, part of the Software...