FYI:Hybrid: FACS AGM and Peter Landin Semantics Seminar

[alex.shkotin]

https://www.bcs.org/events-calendar/2025/december/hybrid-facs-agm-and-peter-landin-semantics-seminar/

"Title: Formal Methods: Whence and Whither

Abstract: Alan Turing arguably wrote the first paper on formal methods over 75 years ago.Since then, there have been claims and counterclaims about formal methods. Tool development has been slow but aided by Moore’s Law with the increasing power of computers. Although formal methods are not widespread in practical usage at a heavyweight level, their influence has crept into software engineering practice to the extent that they are no longer necessarily called formal methods in their use. In addition, in areas where safety and security are important, with the increasing use of computers in such applications, formal methods are a viable way to improve the reliability of such software-based systems. Their use in hardware, where a mistake can be very costly, is also important. This talk explores the journey of formal methods to the present day and speculates on future directions, including the use of Artificial Intelligence."