The 82nd Business Meeting of FME will take place online November 24, 16:00-18:00 CET.
| About FME | Committees | Formal Methods | Events | FME Awards |
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 Europe – although other locations worldwide will also be considered.
The 13th International Conference on Formal Methods in Software Engineering (FormaliSE 2025) was held on April 27–28, 2025, in Ottawa, Canada, co-located with the International Conference on Software Engineering (ICSE 2025).
The term of the current Editor-in-Chief (EiC) of the journal Formal Aspects of Computing (FAC), published by ACM in collaboration with BCS, The Chartered Institute for IT, is coming to an end, and the ACM Publications Board and BCS have set up a nominating committee to assist in selecting the next EiC.
FME’s Teaching Committee has recently organised a special issue of Formal Aspects of Computing that puts forward different perspectives on why and how Formal Methods should be represented in Computer Science curricula. The discussion was triggered by the guidelines that ACM has been publishing for computer technology university curricula for more than five decades.
A summar article of the discussed perspectives appeared in the December 2024 issue of ACM Inroads: The Role of Formal Methods in Computer Science Education.
Springer, November 2020, 229 pp, ISBN: 978-3-030-59256-1. https://doi.org/10.1007/978-3-030-59257-8
The book Understanding Programming Languages by Cliff B. Jones is about the formal specification of the semantics of programming languages. It focuses on the structural operational semantics of imperative and sequential languages, including features such as blocks and procedures, with an extension to concurrent objects at the end of the book. The material is presented with great clarity and requires almost no background knowledge, making the book perfectly suitable for any person curious about programming languages and seeking a deeper understanding of how they work. This book is also for language designers, as being formally precise is an invaluable tool to help catch design issues early in the design phase.