Of possible interest to the CAS community, see the following talk (6-8pm, 19 February 2018 in London, also in Glasgow, Manchester, and Belfast): Innovation and Technology – Art or Science? IET EngTalks: Future Computing Inspired by the life and work of Alan Turing 19 – 22 February 2018 | London, Glasgow, Manchester, Belfast https://events.theiet.org/turing/index.cfm? *Prof. Jonathan Bowen <https://sites.google.com/site/jpbowen/> *FBCS FRSA Emeritus Professor of Computing, London South Bank University Chairman, Museophile Limited See *The Turing Guide <http://formalmethods.wikia.com/wiki/The_Turing_Guide>*, Oxford University Press, 2017 <http://www.avg.com/email-signature?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail> Virus-free. www.avg.com <http://www.avg.com/email-signature?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail> <#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>