<div dir="ltr">Dear Colleagues, <div><br></div><div>Please see below details about the event, which will be preceded by the BCS-FACS Annual General Meeting. The event can be attended either online or in person.</div><div><br></div><div>Best wishes, </div><div>Andrei <div class="gmail_quote gmail_quote_container"><br><br><div dir="ltr"><div><div style="font-family:tahoma,sans-serif"><a href="https://urldefense.com/v3/__https://www.bcs.org/events-calendar/2025/december/hybrid-facs-agm-and-peter-landin-semantics-seminar/__;!!IBzWLUs!Ww6rgNpH-ow98lY7_l6JAZ0rqbjyj-zIXBWa8zLsiq5dqslbkSs1Q4MG_IbgRT5x2QOQTawZDKi4VewaWGcVbWPSVcTHN_S-20ipf4nQ$" target="_blank">https://www.bcs.org/events-calendar/2025/december/hybrid-facs-agm-and-peter-landin-semantics-seminar/</a></div></div><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div style="font-family:tahoma,sans-serif"><div>(free registration online)</div><h1 style="box-sizing:border-box;margin:0px 0px 10px;font-family:inherit;line-height:1.2;color:rgb(0,102,51)"><font size="4">Hybrid event: </font></h1><div><b><font size="4"><span class="gmail_default" style="font-family:tahoma,sans-serif">BCS-</span>FACS AGM & <span class="gmail_default" style="font-family:tahoma,sans-serif">Peter </span>Landin Semantics Seminar</font></b></div><div><b><i><font size="4">Formal Methods: Whence and Whither</font></i></b></div><div><font size="4">BCS London office <span class="gmail_default" style="font-family:tahoma,sans-serif">(near Moorgate underground station) </span>and on Zoom, <span class="gmail_default" style="font-family:tahoma,sans-serif"></span>4 December 202<span class="gmail_default" style="font-family:tahoma,sans-serif"></span>5</font><font size="4"><br></font></div><div><br></div><div style="box-sizing:border-box;color:rgb(0,0,0);font-family:DINNext,sans-serif"><div style="box-sizing:border-box"><h2 style="box-sizing:border-box;margin:0px 0px 0.5em;font-family:inherit;line-height:1.2;color:inherit"><font size="4" style="font-weight:500">Speaker: </font><span style="font-size:large"><span class="gmail_default" style="font-weight:bold;font-family:tahoma,sans-serif"></span><b><a href="https://urldefense.com/v3/__https://sites.google.com/site/jpbowen/__;!!IBzWLUs!Ww6rgNpH-ow98lY7_l6JAZ0rqbjyj-zIXBWa8zLsiq5dqslbkSs1Q4MG_IbgRT5x2QOQTawZDKi4VewaWGcVbWPSVcTHN_S-2wcmN40d$" target="_blank">J</a></b><span class="gmail_default" style="font-family:tahoma,sans-serif"><b><a href="https://urldefense.com/v3/__https://sites.google.com/site/jpbowen/__;!!IBzWLUs!Ww6rgNpH-ow98lY7_l6JAZ0rqbjyj-zIXBWa8zLsiq5dqslbkSs1Q4MG_IbgRT5x2QOQTawZDKi4VewaWGcVbWPSVcTHN_S-2wcmN40d$" target="_blank">onathan Bowen</a></b><span style="font-weight:normal"> (Chair of FACS)</span></span></span></h2><h2 style="box-sizing:border-box;margin:0px 0px 0.5em;font-family:inherit;line-height:1.2;color:inherit"><font size="4">Agenda</font></h2><p style="box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">3:30pm - Networking for attendees (refreshments and biscuits)<br style="box-sizing:border-box"><b>4:00pm</b> - 5:00pm <b>FACS AGM</b><span class="gmail_default" style="font-family:tahoma,sans-serif"> (optional!)</span><br style="box-sizing:border-box">5:15pm - Networking for physical/online attendees. Includes refreshments and biscuits for those in person.<br style="box-sizing:border-box"><b>6:00pm</b> - <span class="gmail_default" style="font-family:tahoma,sans-serif"><b>Peter </b></span><b>Landin Semantics Seminar Talk</b><br style="box-sizing:border-box">7:00pm - Questions and answers<br style="box-sizing:border-box">7:15pm - Networking for physical attendees (light refreshments)<br style="box-sizing:border-box">8:00pm - Event ends for online attendees<br style="box-sizing:border-box;margin-bottom:0px"><b>8:30pm</b> - Event ends for in-person attendees</p><h2 style="box-sizing:border-box;margin:0px 0px 0.5em;font-family:inherit;line-height:1.2;color:inherit"><font size="4">Synopsis</font></h2><p style="box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">Alan Turing arguably wrote the first paper on formal methods over 75 years ago.<span class="gmail_default" style="font-family:tahoma,sans-serif"> </span>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.</p><h2 style="box-sizing:border-box;margin:0px 0px 0.5em;font-family:inherit;line-height:1.2;color:inherit"><font size="4">About the speaker</font></h2><p style="box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2"><b>Jonathan Bowen</b>, FBCS FRSA, is Chairman 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.<span class="gmail_default" style="font-family:tahoma,sans-serif"> </span>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.<span class="gmail_default" style="font-family:tahoma,sans-serif"> </span>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.<span class="gmail_default" style="font-family:tahoma,sans-serif"> </span>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.<span class="gmail_default" style="font-family:tahoma,sans-serif"> He is the current Chair of the BCS-FACS Specialist Group.</span></p><p style="box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2"><span class="gmail_default" style="font-family:tahoma,sans-serif">------------------------</span></p><p style="box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2;font-size:0.9rem">Our events are for adults aged 16 years and over.</p><p style="box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2;font-size:0.9rem">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. <a href="https://urldefense.com/v3/__https://www.bcs.org/membership/events__;!!IBzWLUs!Ww6rgNpH-ow98lY7_l6JAZ0rqbjyj-zIXBWa8zLsiq5dqslbkSs1Q4MG_IbgRT5x2QOQTawZDKi4VewaWGcVbWPSVcTHN_S-249Tbfvm$" style="box-sizing:border-box;color:rgb(0,0,0);background-color:transparent;display:inline;font-size:0.9rem;margin-bottom:0px" target="_blank">Join BCS today</a></p><p style="box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2;font-size:0.9rem"><span style="box-sizing:border-box;font-weight:bolder">Please note:</span> if you have any accessibility needs, please let us know via <a href="mailto:groups@bcs.uk" style="box-sizing:border-box;color:rgb(0,0,0);background-color:transparent;display:inline;font-size:0.9rem;margin-bottom:0px" target="_blank">groups@bcs.uk</a> and we’ll work with you to make suitable arrangements.</p><p style="box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2;font-size:0.9rem">If you are attending in person, please familiarise yourself with the<span style="box-sizing:border-box"> </span><a href="https://urldefense.com/v3/__https://www.bcs.org/media/ww4jlkud/visitor-instructions.docx__;!!IBzWLUs!Ww6rgNpH-ow98lY7_l6JAZ0rqbjyj-zIXBWa8zLsiq5dqslbkSs1Q4MG_IbgRT5x2QOQTawZDKi4VewaWGcVbWPSVcTHN_S-21CUtOR6$" style="box-sizing:border-box;color:rgb(0,0,0);background-color:transparent;display:inline;font-size:0.9rem;margin-bottom:0px" target="_blank">Visitor Instructions</a> for the BCS London Office.</p><p style="box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2;font-size:0.9rem">For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters. Photo by Markus Spiske</p><p style="box-sizing:border-box;margin-top:0px;margin-bottom:0px;line-height:1.2;font-size:0.9rem"><span style="box-sizing:border-box;font-weight:bolder;margin-bottom:0px">This event is brought to you by: <a href="https://urldefense.com/v3/__https://www.bcs.org/membership-and-registrations/member-communities/facs-formal-aspects-of-computing-science-group__;!!IBzWLUs!Ww6rgNpH-ow98lY7_l6JAZ0rqbjyj-zIXBWa8zLsiq5dqslbkSs1Q4MG_IbgRT5x2QOQTawZDKi4VewaWGcVbWPSVcTHN_S-2xerWuiP$" style="box-sizing:border-box;color:rgb(0,0,0);background-color:transparent;display:inline;font-size:0.9rem;margin-bottom:0px" target="_blank">FACS (Formal Aspects of Computing Science) group</a></span></p></div></div></div></div></div></div></div></div><p align="center"><br></p>
</div></div></div>