FACS AGM and Peter Landin Semantics Seminar

Prof. Jonathan Bowen

16:00 - FACS AGM

17:15 - Networking

18:00 - Peter Landin Semantics Seminar

19:15 - Networking

20:30 - End of event

FACS Annual General Meeting, followed by the annual FACS Peter Landin Semantics Seminar, delivered by Prof. Jonathan Bowen, Emeritus Professor of Computing, London South Bank University.

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.

Jonathan Bowen, FBCS FRSA

Jonathan Bowen is Chair of Museophile Limited (founded in 2002), an Emeritus Professor at London South Bank University, where he was Professor of Computing, establishing and heading the Centre for Applied Formal Methods from 2000, From 2017, he has been an Adjunct Professor at Southwest University, Chongqing, China. Between 2013–15, he was Professor of Computer Science at Birmingham City University. During 2006–07, he was a visiting academic at University College London.Between 2007–09, he was a Visiting Professor at King's College, London, and during 2008–09, he was an Associate at Praxis High Integrity Systems (now Altran). From 2010, he was a Visiting Professor at the University of Westminster. During 2010, he was a Visiting Professor at Waikato University in New Zealand and in 2012 he was a Visiting Professor at the Pratt Institute in New York.

Our events are for adults aged 16 years and over.

BCS is a membership organisation. If you enjoy this event, please consider joining BCS. You’ll be very welcome. You’ll receive access to many exclusive career development tools, an introduction to a thriving professional community and also help us Make IT Good For Society. Join BCS today:

https://www.bcs.org/membership/events

If you are attending in person, please familiarise yourself with the Visitor Instructions for the BCS London Office.

Please note, if you have any accessibility needs, please let us know via [email protected] and we’ll work with you to make suitable arrangements.

For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters. Image by Markus Spiske

THIS EVENT IS BROUGHT TO YOU BY:

FACS (Formal Aspects of Computing Science) group

Visit https://www.bcs.org/membership-and-registrations/member-communities/facs-formal-aspects-of-computing-science-group

Know what’s Happening Next — before everyone else does.

Get App

Host or Publisher BCS, The Chartered Institute for IT