<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><i style="font-size:large;color:rgb(0,102,51);font-family:inherit">Hybrid event: Alan Turing at 110 - and at Oxford!</i><br></div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div style="box-sizing:border-box;color:rgb(0,0,0);font-family:DINNext,sans-serif"><div style="box-sizing:border-box"><h2 style="font-size:1.4em;box-sizing:border-box;margin:0px 0px 0.5em;font-family:inherit;font-weight:100;line-height:1.3;color:rgb(99,135,0)">This hybrid talk celebrates the 110th anniversary of Alan Turing and also explores recent research on his connections with Oxford.</h2><div>Further information and free registration (online and at the BCS London office):</div><div><a href="https://www.bcs.org/events-calendar/2022/june/hybrid-event-alan-turing-at-110-and-at-oxford/" target="_blank">https://www.bcs.org/events-calendar/2022/june/hybrid-event-alan-turing-at-110-and-at-oxford/</a><br></div><div><br></div><h2 style="font-size:1.45rem;box-sizing:border-box;margin:0px 0px 0.5em;font-family:inherit;font-weight:500;line-height:1.2;color:inherit">Speaker</h2><p style="font-size:20px;box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">Jonathan Bowen, London South Bank University</p><h2 style="font-size:1.45rem;box-sizing:border-box;margin:0px 0px 0.5em;font-family:inherit;font-weight:500;line-height:1.2;color:inherit">Agenda</h2><p style="font-size:20px;box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">17:15 - Physical and online networking for attendees<br style="box-sizing:border-box">18:00 - Talk<br style="box-sizing:border-box">19:00 - Questions<br style="box-sizing:border-box;margin-bottom:0px">19:15-20:30 - Networking</p><h2 style="font-size:1.45rem;box-sizing:border-box;margin:0px 0px 0.5em;font-family:inherit;font-weight:500;line-height:1.2;color:inherit">Synopsis</h2><p style="font-size:20px;box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">Alan Turing's centenary was widely celebrated in 2012. It is now 110 years since Turing's birth. This talk explores some developments with respect to Turing, especially in the last decade. In particular, it presents some recent research on Turing's connections with Oxford, the speaker's home city.</p><p style="font-size:20px;box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">Turing is well-known for his work at Cambridge, Bletchley Park, and Manchester, but there has been little evidence of his visiting Oxford. Turing arguably wrote the first formal methods paper on program proving and much later Oxford has been a major research hub for formal methods, initially through the leadership of Christopher Strachey, a colleague of Turing at Manchester, and the founder of the Programming Research Group at Oxford.</p><h2 style="font-size:1.45rem;box-sizing:border-box;margin:0px 0px 0.5em;font-family:inherit;font-weight:500;line-height:1.2;color:inherit">About the speaker</h2><p style="font-size:20px;box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">Jonathan Bowen, FBCS FRSA, is an Emeritus Professor at London South Bank University, where he was Professor of Computing from 2000, and Chairman of Museophile Limited in Oxford (founded in 2002).</p><p style="font-size:20px;box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">His main research interest has been in formal methods, especially the Z notation, but with wider computer science interests in software engineering and the history of computing.</p><p style="font-size:20px;box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">He has held previous positions at Imperial College London, the Programming Research Group at the Oxford University Computing Laboratory, and the University of Reading. Starting in 2002, he has been Chair of the BCS-FACS Specialist Group. He co-organized a centenary celebration for Alan Turing at Oxford in 2012 and his books include "The Turing Guide" (Oxford University Press, 2017). He is a Life Fellow of the BCS and the Royal Society of Arts.</p><p style="font-size:20px;box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2"><a href="https://sites.google.com/site/jpbowen/" style="box-sizing:border-box;color:rgb(0,102,51);background-color:transparent;display:inline;font-size:1rem;margin-bottom:0px" target="_blank">Jonathan Bowen's personal page</a></p><p style="font-size:20px;box-sizing:border-box;margin-top:0px;margin-bottom:1rem;line-height:1.2">Article: "<a href="https://www.computerconservationsociety.org/resurrection/res97.htm#e" style="box-sizing:border-box;color:rgb(0,102,51);background-color:transparent;display:inline;font-size:1rem;margin-bottom:0px" target="_blank">Alan Turing and Oxford</a>". Resurrection: The Journal of the Computing Conservation Society, No. 97, pp. 11-18, Spring 2022.</p></div></div></div></div></div>
</div></div>