TWIN-LOOP partners PhD student Joel Nguetoum and his supervisor Boutheina Bannour from CEA (Commissariat à l’Énergie Atomique et aux Énergies Alternatives) will participate in the 27th International Symposium on Formal Methods (FM 2026) and present the paper titled “Specializing Anti-Unification for Interaction Models Composition via Gate Connections” (authors: Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, Erwan Mahe). The accompanying artifact has been nominated for the Distinguished Artifact Award.
The 27th International Symposium on Formal Methods (FM 2026) is a leading global conference focused on formal methods in software and systems engineering, organized by Formal Methods Europe (FME). The 2026 edition will be held in Tokyo, Japan, from May 18 to 22, with the main conference scheduled for May 20–22 and workshops and tutorials taking place beforehand.
FM 2026 gathers both researchers and industry professionals working with rigorous, mathematically grounded techniques to design, verify, and validate complex systems. Its aim is to enhance reliability, safety, and correctness across domains such as software, cyber-physical systems, artificial intelligence, and critical infrastructures.
Participating in FM 2026 provides an opportunity to highlight the importance of a strong scientific and technical background in supporting projects such as TWIN-LOOP, which promote technological innovation, sustainability and energy efficiency. 🌱⚙️