26th International Symposium on Formal Methods

Professor Bertrand Meyer recently represented the Constructor Institute of Technology at the prestigious 26th International Symposium on Formal Methods (FM 2024), held in the vibrant city of Milan!

During the event, Professor Meyer took part in the “Tests and Proofs Proceedings” session, where he presented a cutting-edge research paper co-authored with Li Huang and Manuel Oriol. The paper dives into groundbreaking advancements in formal methods and software testing, highlighting the team's ongoing efforts to push the boundaries of innovation in this field.

This event brought together top minds in formal methods and software engineering from around the world, providing an excellent platform to share new insights and research. Professor Meyer’s contribution continues to emphasize our commitment to pioneering research and collaboration at the highest level.

Want to learn more about FM 2024? Explore the symposium details here: https://www.fm24.polimi.it/

Interested in the full “Tests and Proofs Proceedings”? Check it out here: https://bit.ly/3zwb4zN