Skip to Content.
Sympa Menu

coq-club - [Coq-Club] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!


Chronological Thread 
  • From: Andrei Popescu <andrei.h.popescu AT gmail.com>
  • To: cl-isabelle-users AT lists.cam.ac.uk, coq-club AT inria.fr, hol-info AT lists.sourceforge.net, lean-user AT googlegroups.com
  • Subject: [Coq-Club] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!
  • Date: Sun, 1 May 2022 23:32:33 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andrei.h.popescu AT gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu AT gmail.com; spf=None smtp.helo=postmaster AT mail-qt1-f180.google.com
  • Ironport-data: A9a23:N8wCYat73oH1o4UZdktOwGooD+fnVJpYMUV32f8akzHdYApBsoF/q tZmKW7Ub6mJZGr1fN53atuy90MHsZTcyNRmSQE5+C0xRS0VgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52LBVPyvX4 Ymo+5CHYQf/s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnZu7RF55F6DCobkcTzV9UC5ubIFb+5aSdBBTseTLp6HHW37lwvErFV1veINBqr4xDmZJ+ vgVbjsKa3hvhcrsmOP9GrQq35p7apC7ZOvzuVk4pd3dJf8gTYrOQuPKo8dfxDorjd1mEvPXZ s5fYj1qBPjFS0YTYwpHVMhh9AuurlbTSztCi0iWn48I+nD3kTxb1+a1F9WAL7RmQu0MxhrCz o7cxEzyBQhfP9iCwxKe43e0j6nOmzn6UcQcDtWFGuVChVSSwikKFERTWwLr+b+2jUmxX98ZI EsRksYzkUQs3EugQ4CtdhC2mSOFojI5GNVAQsEn6yjYn8I4/D2lLmQDSzdAbvkvu8k3WSEm2 ze1czXBVWwHXFq9GSL1y1uEkd+hEXNKcjJaNEfoWSNAsoaz+thi5v7aZo87SPbdszHjJd3nL 9m3QMUWgrwSiYsSy/z+8wmX23SjoZ/GSgNz7QLSNo5E0u+bTN7/D2BLwQKBhRqlEGp/ZgTc1 JTjs5XBhN3i9bnXyESwrB8xNL+o/e2ZFzbXnERiGZIsnxz0pSP6J98NsGoudB03WirhRdMPS B+D0e+2zM8DVEZGkYcqC25MI590lve6S4qNug78M4EROcUZmPC7ENFGPBbMhQgBYWAjlqYwP ZrzTCpfJSdyNEiT9xLvH711+eZzmEgWnDqPLbimkUnP+efBPBa9FOZdWHPTP7tRxP7V8G39r YwDX+PUkE43eLOlMkHqHXs7dw9iBWIlHqr/t8E/XrbFclcO9JcJUK+Pn9vMuuVNw8xoqws/1 izjChIAlAqj1BUq62yiMxheVV8mZr4nxVpTAMDmFQ/AN6ELbdn94aEBWYEweLV7puVvweQlH fYAcsSERP9IT22fqTgaaJD8qq1kdQiq1VreZXr7PGBncs4yXRHN9//lYhDrq3sDAy+xgs00/ O+t2wbddpwcSlkwF83Rcv+ukwi8sCFFyuJ/VkfFOPdJf0Do/NQ4IiD9lK5lLMQFKBGFzTyfj l7EDRAdrOjLgok07NiZ3fDe/9n1S7NzRxMIEXPa4LC6MTjh0lCimYIQAvyVeT39VX/v/Prwa OhQycb6OqJVkVtPtb16DO83n68z4t3Yp4hawB5hK3PFYgn5EbhnOHSHgZBCu6ARlL9UvQy6B hCG9tVAY+nbPcrkFBsIOFNgYL3TjbcbnT7d6flzK0L/vXcl8L2CWERUHh+NlC0Nc+cvYd19m b8s6JwM9giyqhs2KdLa3CpawGKBcy4bWKI9u5BGXYLm1lgxxldZbcCOAyP6+svTOdBFM01vO yPNwaSb1+wayU3FfH4+U3PK2LMF15gJvRlLyn4EJkiIyoWZ3K5phEUJ/GRlVBlRwzVGz/l3Z jphOXpzKPjc5DxvnsVCAz2hFgwp6Md1IaAtJ4blVVE1TnVEkkTIJWw5fP+RpQUXqjIEODdc+ 76cxSDuVjOCkAQdGMctcRYNlhAhZYUZGs7+dASPEMGMHp18aj3g6kNrTXRdsAPpWKvdm2Wez dSHP49MhWnTOisZoql9AI6fvVjVpNZoO0QaKcxcEGg18a0wtd18NfVi66x8Ry+VG8H3zA==
  • Ironport-hdrordr: A9a23:xr8wd6MmvMdJvsBcTvijsMiBIKoaSvp037BL7TEJdfUxSKalfq +V7ZEmPHPP+VQssTQb6LO90cq7IE80l6QFhbX5VI3KNGLbUSmTTL2KhrGSpAEIdReOkNK1Fp 0NT0G9MrDN5JRB4voSKTPXL+od
  • Ironport-phdr: A9a23:rcCv/R1nR+ZYueCvsmDOcg0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaEo68xxweYFcWDsrQY0bCQ6/ihEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCSzbL9oM hm7ogrdutUSjIB/Lqo91gbFrmFHduhI229kP06fkwr56syt4JNt7iNctu47+cVdS6v6ZaM4T bJZDDQiLW844dDguAfAQwWS+HYSS30anRVUDQfL6hH6RYrxvTDhtuVhwimaPNb5Qq4yVD+/8 qpkUh7oiCMANz4k7GHaj9F7gaxHrB69oRF03onbbpyINPplZqPSY88VRXZPUMZWUixOGIK8b 40SBOYFMutVq4zxql0TphW8GAasHvvixTBGhnD03aM03ecvHxzY0gM8BN8BqmjYoc/vOasOT ey4zq/FxijDYfNM3jf97ZDFfwwnof6RR7J/b8vRwlQ1GQPCllWft5flMC+I1u8QtGWU9exgW v+1i2E5qgF9uDivyt00ionOnoIa1EvE+jlkwIsuKt24TVR0Yd+gEJdKqy6aMI52T9okTmp1t yk01qcItoSnfCgW1psn3RjfZuSHfoWK/x/uSOmcLDZ4iX9mZr+yhBi8/EugxOHgSsW60FRHo ytYntfMsn0BywDe58yJR/Zz8Uqv2SuC2hzc5OxKJ00/iKTVK5kkwrEql5oTt1zOETTql0Xtl qOWcV8k+uew5+ToZbXmoZCcN4tqhQ3kLqsuncm/DfwkPQgJWmib4fm81KH98k3jXLpKifs2k rLHv5DAO8QUvLK5Aw5S0oYl8Ba/CCup0NUGknkbLFNJYhWHj5LmO1zIPfv2Du+/jkyynDt3w /3KJL7sD5XXInTekbrtYaxx51NfxQYvy91U+ohaBasbIP3pX0/8rNzYAQE9Mwyz2+vnDc9y1 oIaWW6WG6+ZLL7evUaG5u4yIOSAeJUZuDn6K/gi6P7uiWE2lUUBcqmu2JsbcHG4HvJ4LEWFe XfgnMsNHGMQsgc9TOHmkkCOXD9Pa3qoQq4x5S03BJqjDYjZR4CthLKB3D28Hp1Tfm1JEFaMH mryd4qaWvcAciKSLtV5kjwDTbiuVZQh2g2ztALhxLpnK/Db+iwctZ75yNd14OjTmQk09TNvF 8udyX2CT3lonmMUQD87xL1zrVRnylifyah4n+BYFdtL6vxVVQc6LIfQwPB+C9DvQQ3MZcyJS VajQtW+Gz49VNMxw9kUY0Z8AdqulB7D3zD5S4MSwrePQZ0v+6jR23z8Yttmxmzd/K0glEU9B MBGMCuvjehi9EybDInQ1k6diqyCdKIG3SeL+n3HhWqJuARZVgB3eaHERmwEIFDRsM7y603FV bCjT7IqLk8JzcOLLO5XcdDzpVpBQ/jnNdvEZH+pgCG7AhPb6KmLad/DfWkH0SSVME8cnhsY4 D7SPA4yHCqg5WKYFDt2GEnkfmvj9OB/rDWwSUpinFLCVFFoy7fgok1dvvebUf5GguNsUEYJr jx1GAz4xNfKE5+aoAEneqxAYNQ76VMB1GTDtgU7MIbzZ7t6iAs4dAJ691jryw0xEp9JxMEso GknzUxyb7qfyF5afC6w0pX5O7mRIW73r1i0c6CD4ljFy56N/7sXrvExqlHtpgasQ0Mk/29q0 p9VlWOb/pjRBxc6Xpf4U0Jx/B9/9PnBeidowYTS2DV3NLWs9D/P39V8HOw+1hOpZMtSKouBH Q72VtQGXo2gcbxy3VeuaR0AMaZZ86tc09qOUfyA1ebrOe9hmGjjlmFb+MVn1UnK8SNgS+nO1 pJDwveC3wLBWS2uxFGm+tv6n4xJf1RwViK21DTkCYhNZ6ZzYZdDCGGgJNeyz8l/gJilUmBR9 VqqDVcLkMGzfh/aY1v41AxWnUMZxB7v0SK+wyZ5kncp6LKYxCHVyPnKex8OO2oNT25nzB/tL YWyk9EGTR2wdQF68XntrU3+xqVduOF+NzyJGRYOL3Wwdj86FPLg7unnAYYH8p4jvCRJXf7pZ FmbTuS4uB4Gy2b5GGAYwjkndjass5G/nhpgiWvbImwgyRiRMcx22xrb48TRAPBL2T9TDiB+h SPaBx68ecGu5diPnIrrveW3VmbnXZpWO3qOr8vIpG6g6GtmDAfq1fm1lsfqEE46lzf8z9RxX jjgoxP1Y42t3KO/e7ECHAEgFBr37Mx0HZt7m407icQL2HQUsZ6S+GIOjWb5NdgzNbvWVHMWX nZLxtfU5FKgw0h/NjeTwIm/UHyBw8xnbt38Y2UM2yt74doYQKuT6bVFm2NyrD/a5UrYZ/Rnk zZbyb0272YXmOoUkAUoxySZRLsVGAFUMDftmBKB892l5P8PNSD/LP7pihI4xID5RLiZx2MUE G70YJIjATN94o1kPVTA3WeyooDodd/MbM4C4xidkhPOle9Qe/dT3rIBgStqP364vGVwkbZqy 0wzm8jk5M7eez0+mcDxSgRVPTD0ec4JrzTkjKIE292Tw5jqBJJqXDMCQJrvS/usVjMUr/Xuc QiUQ1he4j+WH6TSGQiH5QJotXXKRtqiMX2NKXhfzZN6QwGQP0dCqA8RVTQ+2JU+E0r5oa6pO Fc8/T0X6lPi/1FFzO5yOhi5UiHHox+lcTwpYJeaJRtSqApF4g2GVK7WpvI2FCZe8Jq7qQWLI WHOfAVEA1YCXUmcDkziNL2jtpHQtvKVDe2kI77ScK2D/KZAAuyQy8vlge4Et36cc9+CNX54A 7gn11pfCDpnTt/BlWxHSjRLxXmQKZfK/FHmpnIx9oflrLzqQF69u9fJUeAJd4wxo1buxv7SU ozYzCdhdWQGiNVVnSWOkP5HmwRKwyB2K2vzT/Ja6X+LHPqWwugNV1Yac38ha5EOtv56h1gXf 5ac04OQtPYwj+ZpWQgZEwW7x4fxI5RNej/1NUubVh/TZPLfemKNk4evJvnlAbxI0LcN6Eb24 GfHVRelZnPayVyLH1iuKb0e1nnKekwD/tjnIlA1TjG8BNP+Nk/haYEx0G1wmOxuwCuNbD9UM CAgIRkU8PvKtnIe2a85QysYvx8HZaGSkiKdpYE0M74wtv1mSmRxnuNeujEhzqdNqTtDT7pzk TfTqdhnpxenlPOOw3xpSkgGrDEDn4+NsUh4XMeRvpBdRXbJ+g4M5mSMGlwLodViENjmp6FXz JDGiqvyLD5I99+c89EbAoDYL8eOMXxpNhSMenacFAweUTuiLn3SnWRYmfCWs2SJ990088i03 pUJTbBfWRo+EfZbQkVpEdoeIYtmCzMplbnI6axArXG6rRTXWIBbpsWdDqPUUaipcWjBy+AUP 0hto/uwN4kYO4zl1lY3b1B7mN6PAE/MRZVXpSYnaAYooUJL+Xw4T2sp2kujZBn+hR1bXfOyg BMyjRNzJOo38zK5qV4xKkDHpW0w1lE2gdj+ii25fzv4LaP2VoZTQXmR1QB5ItbgTgB5YBfn1 1RjLyvBTqlNgqFIcGlqjErFpcIKF6cMFetLZxgfwfzRbPItmwc5yG3v1QpM4u3LDoFnnQ0hf Mu3rn5O7AlkacY8Oa3aIKchJr14iaeHvyvu3ec0kld2z6cl9WqTfGsRpBVNOOB2f2yn+etj7 QHEkDxGKjBkvxUCrfdj90d7MOOFnXuI7g==
  • Ironport-sdr: /fy1Qurnix1bb7daSKOnZ4JLD6R03w+cWpgSdEgPhhh1OlaL2wvedwVIvPFgKUssetDzmSsv+F 9OdR8kQAYHfv02w1NqS9TLGzIbaFUNU9Hj6tQ8W6DO5MGnKUh7SQRFWdrEFIc8U2kjWLclbkXk Spe8DwyVxiQduAHIBwzAbAtITciHcUFJ0o8gBb5hugpAbIFScJjtYmcQCdfsV9dxDYiEcP1j3A EzShnb9CoEPImEEkn4len5zrNtmTkVIlt+YX7VGjeslnQfIDhGLtSWL5WeU4BQ/2E0Mks+K4er I44boEMF9nibusfZJYof+Wxx

Hybrid event: Alan Turing at 110 - and at Oxford!

This hybrid talk celebrates the 110th anniversary of Alan Turing and also explores recent research on his connections with Oxford.

Further information and free registration (online and at the BCS London office):

Speaker

Jonathan Bowen, London South Bank University

Agenda

17:15 - Physical and online networking for attendees
18:00 - Talk
19:00 - Questions
19:15-20:30 - Networking

Synopsis

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.

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.

About the speaker

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).

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.

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.

Jonathan Bowen's personal page

Article: "Alan Turing and Oxford". Resurrection: The Journal of the Computing Conservation Society, No. 97, pp. 11-18, Spring 2022.



  • [Coq-Club] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!, Andrei Popescu, 05/02/2022

Archive powered by MHonArc 2.6.19+.

Top of Page