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.
Prof. Jeannette Wing, professor of Computer Science at Columbia University (US), has been awarded the FME Fellowship 2024. The Fellowships are awarded every three years in recognition of technical breakthroughs and pioneering work in advancing, applying, and promoting mathematically rigorous methods for the design of computing systems.