From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 52DBD5D5 for ; Sun, 1 May 2022 22:25:34 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:references:in-reply-to:from:date:message-id: to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=+YO45pwlnMXv3MxLkRYPXavhM2zvN5emWKx5qLyyCfY=; b=GObcZfWVxG1QWPIg+7cwLF8L28/Cn+owq5a6V/0QXlsARxNCioLESPch OZLeaDcEinMzLRrKs605X5jkMyn3DXw1GnnRp35EBia0Uw1RT/5hHpgPj YKki7mAWxxZaGJi7QOZt0xcTALkNOif6qQp4yxvsaBNH1Rd/5FK6tdWTm E=; Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only Authentication-Results: mail2-relais-roc.national.inria.fr; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="5.91,190,1647298800"; d="scan'208,217";a="34157945" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 May 2022 00:25:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D9A6AE00CA; Mon, 2 May 2022 00:25:32 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1EF83E00CA for ; Mon, 2 May 2022 00:25:29 +0200 (CEST) IronPort-SDR: HzM6+/eyyRQOfC3VtYYf9ovwXKlOOCfgkmHZ39BStFF1KK3L29DFvvSFcFT0rzstncQc2Ledv8 mnYNUrjFcqpNejj0G8FcL3zhQBKH/H+Fj/yNmOG8MDzsUzS7/EBxpdOY9vrOnzkHOPghnypwKS ZtMNgNE0WcBig2ub8MXPJRyh39bE0allA6NbzXu6Ev6XO/UaiLj6wNeDR5bbheJQ1YAh10kPhH v4O89iZv7CzU8V2nYc4CgAjFrRXqaDdh+qzQOI+Pt68II2/fD7WQ3IFnFJBWI9O8G4HwbsQBVR FChTAqeZ147UmMfdtTOz3GOx X-IPAS-Result: =?us-ascii?q?A0CLAwArCG9ifzHbVdFCGA6Da1soM0tULgQLQ4ROgSONQ?= =?us-ascii?q?4IljC6JeIdkA1QLAQMBDTkJBAEBgg6CdAKFMQIdBwEENBMBAgQBAQEBAwIDA?= =?us-ascii?q?QEBAQEBAwEBBQEBAQIBAQIEBAETAQENCwkHCAoHDg4FYAFhAwFEgU+BdAsDM?= =?us-ascii?q?Q2CNQwMAwMBg28CAQMSER0BGx4DDAYQIBcCAiIBEQEFARwHKwmCA1gBgmIBA?= =?us-ascii?q?zEPoS2BBEGLMoEVBReBAYIJBoFAAQMESgWCNAoZKA1nA4FZAgEGEoEqhhaBJ?= =?us-ascii?q?AEBgwaEGxcQgQSBJYEVNoJEboEFgV4BAQKBFQQcBFKDKYJlBJY0GCkmOwYNE?= =?us-ascii?q?yEOgRjAXQeDToFBh1qBfZRqM6hUhx2PRCCNAZRAhSoQIxKBQ15vHgwHMxojX?= =?us-ascii?q?Q4WgXoKAQEyEjwBAgEBAQ0BAgEBAwECAQIJAQECjjSDW4UUhQVGQzECOQIGA?= =?us-ascii?q?QoBAQMJihyCSAEB?= IronPort-PHdr: A9a23:lbBAKx8ek6v5Ev9uWYG1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqFub413ReJBdydt6gezbKO8ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWijexe61+I Rq5oQnNssQdnI9uJrosxhfTrXZEZfpayXl0KV6Pmhr3+9u98oNk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmoZjhRHDQ7F7ArnXpjqqSv1qvB92CiBMsLoS70/RCmv4 L1qSB/sjycHKiI5/WTKgcF+kK5XvBSsrAF4zIDJfYGVL+J+cb3BctMGS2RBWcNRWDZAAoO6c oADC+UMMOJdo4T7oFQAsBy+BROwBOzx1zBGmmH50rE70+Q5Dw3NwQgsEt0SvHjRqtj+KaUcX v2vzKTQwjrDYfFZ1zfz5obLbx4vv+2DUKlqfsbN00QiDR/JgkmSpIHjIjib1v4Ns2+e7+d4S e+vjXMoqxtvrTiu28wikI7JhpoLxVDf6Sp53Zs+KNqiR059fNGkCoVftyCAO4t2WM8iW2Zou D4kxb0dpZG7YTMHyJsixxHFavyHd5KE7Q7kVOaUODp1gm9ud72jiRio60eg1vH8Wdeu0FZMt idIktvBu20R2hHc68WKSvhw81mi1DiB1A3d6v1ILVw0m6fZKpMt374+m54PvUnfGiL7lkv7g aCWeEg55uWm5Orqb7P7rZGSMI90jxvxMqUomsGnGus3LhMOU3Kc+eSm273v5UL5QLJNjv05l qnWrorWKtgcpq68GwNazoEj6xOnDze7zNQXg2MHI05CeBKBlIjmJUvOIO7iAvejglSslzFrx +vBPrL9A5XCMGTDkbf7cbZ68U5cxww+xs1c6ZJMErwNPu7/V0vruNHbDhI1KRK4z/vjBdln2 Y4TXWSCCbKDPqzIq1+H/OcvLvGMZIALvDb9LOAo5/v0gn84nV8RZLCp3YUKZHyhEPRrLEGUb WDjgtcGFmcKsQ4+Q/LwhFKeVj5TYm6+X6M65j4lFIKrFZnPSpypjbCb3yq2Hodaan5bBl2IC 3vleIGJV+8JaC2II89hljIEVaKmS48kzRyhrgn6xKd9LuXK+y0Ur5Lj2MJt5+3UjRE96yd0A NiA02yWQGF0m3kHRz4y3KxlvUN9zVKD3bB+g/NDDdNT/e9GUh8mNZ7AyOx3E83+VhrbftiVU FamXsmmATYpQ90t2dAOZkJ9F8ymjhDCxCqqH6QYl6eLBZwx6qLTxWL9J8d7y3bc1akulUMqQ sVVNT7uuqkq/gPXXabUj0GYjLqxM7kA0T7E7yGOwXfK9EhXXAdYVaTeQWtZbUvfqdH0/FiEV LLqQb0/KhBMzOaGK7BWcZv1hk4ARfniftDbfiS9liP4Dh+NwvaIbZH2U2QbxiTUTkYewC4J+ nPTHA4yHCqg61rZFDF1Hk+nN0rq/fNzqTW7CFcz1wyRZFBJ2L+8+xpTjvuZHaBAlokYsTss/ m0nVG222MjbXorRz+IAVKBVYNdmpUxCyXqcrAtleJqpM6FlgFcaNQVxpULnkRttWc1bicZ/i nQswUJpLL6AlktbfmaR25zqN7yRKi/q+wiicKXL8l7b2deSvKwI7adwsE3t6TmgDVFq6HB7y 59Q2nqY6I/NCV8bV57rX0dx915ioKnXeSIgz4zR3Hxod6Kzt2yKwMonUc0izBvoZNJDKOWEG Qv1RtUdHNSrIfc2lkKBaxsFOKVL6vdxMZ/3MfSB36GvMaBrmzfOYX1vxod73wrM8iN9TrWNx JMZ27SD2RPBUT7gjVCnu8SxmIZeZDhUEHDtgS7jTJVcYKF/Z+NpQS+nPtG3y9NihpXsR28Q9 VitAEkD0dOofhzaZkL03AlZ30Aa6XK9ni7wwztxmjAv5q2RuU6Gi+3keAAKOyhLAnFllVr3K pWcgNUTXUzuZA8s1VOk6Uv826lHtfFnNWCAJCUANyPyLmxkTu6xru/YO58JuM5u63wGFrjtM jX4AvbnrhAX0j3uBT5bzTE/LHSxv4nh2gd9kCSbJWpyq3zQfYdxww3e7ZrSX600vHJOSS9mh D3QHlX5McOu+IDenpHPqO2/EWLnTppLfDLg0KuPsSK64SthBhj1zJXR0pX3VBM31yP2zYwgX CPEthv9JImtz6OiPPlsY2FnAVb974xxHYQ0we5SzNkAnHMdgJuS538Ol2z+ZM5a1azJZ30IX TcXwtTR7WAJwWVbJ2mSj8L8X3SZmY56YsWiJ3gRwmQ75txLD6Gd6PpFmzF0qxy2t1CZbf94l zYbgfwgjRxSy+gPtBAgz2OdRKgVBURDNjHEmBGB7tT4p6JSLGqiarm/0kNikMvpVunT5FEBH iygK9F+TGd59aAdeBrU3Wf26534ddWYdt8VuhCO0l/Bg+VTNJMth68PjCtjN3j6uC5twOo6g BpymJCi6dLfeiM9oeTjW08eamymAqFbsivghqtfgMuMioWmH5E6Xy4OQIOtVvWwVjQbqfXgM Q+KVjw6sHaSX7TFTmr9oA9rqWzCF5ezOjSZPn4cmJ9rQhWHKU0ZgEYMWy03hZUkPg+vzc3lN kx+43pCgzyw4gsJ0e9uOxTlBy3WoguyZzZySN6HKwJb9Qpfz0jQOM2aqOl0GmsLm//p5BzII WudaQNSCGgPUUHRHFHvMI6l4tzY+vSZDO6zfLPeJK+DoutEW7KU1Iqih8F4qi2UOJzFbRwAR 7Urn1BOVndjF4HFliUTHmYJwjnVYZfTpQ/gqHYq6JnuqLKxBF2pvczVV/NTKYk9pUzw2/zYc bfO3GAhbm8Js/FEjX7QlOpBghhL03soL3/1Vu5Y/S/VEPCOxOkNU09dO3s1bIwSt+o9xlUfZ pSd04+zj+8iyKZyUgcgNxSpm9n1N5NWZTjnaRWfQh7MberOJCWXkZivMeXlFuIW3KMM8Efp8 TeDTx26YW/Fzmi1EUjpaaYV0kT5dFRfoN3vKE48Tzi+Cou8Olvjd4YoxTwune9u3y2MaD5aa GkmNRsK9+zY7DsE0K8mRSobtSsjdrPCw2HAvoy6Yt4AuP9vSEyYjsp853I3g/tQ5SBAH7lun TfK68Vpuxegm/WOzTxuVFxPrCxKjcSFpxcqP6KR7ZRGVXvemXBFpWyNFxQHocdkAdzzquhRz NbIjqf6NDZF9Zrd48IdA8HeLM/PPmAmNFLlHzvdDQ1NSjDOVymXn0tGjPSb7WGYtLA/o5no3 YMQE/pVCA1zGfQdBUBoWtcFJdY/Xz8pl6KakN9d5Xe6q0q0Jo0StZTGW/SORPT3fWzB3P8UO l1SmOK+cdVAU++zk1ZvYVR7gonQTk/ZXNQW5zZkchdxu0JVtn53Umw03UvhLAKr+n4aU/Cuz XtUwkNzZ/og8DD07hI5PF3P8WE5lkUrlNSjgXaJdyb8N6ytdY5TAivw8UM2N9moJmQ9JR33h kFiODreEvhJiKB8cGlwlALGkZ5GGPoZVLMdJRFMlLeYYPIn1VkaoSKijxwih6ONGd5pkw0kd oSppnRL1ld4bdI7EqfXIbJA0llagq/mVsCA2eU4wQtYLEEIojr6kMsgt0kBN71gLC2trLQEA e2qnjJCfC0VSaNvrK47sEw6POuEwmTr1LsRciiM IronPort-Data: A9a23:sSt8fKBfICmBfhVW/xXlw5YqxClBgxIJ4kV8jS/XYbTApG9w0mYEz WcWDGuCa62DYDCnfdggYI2zox8E7cTRzdVgOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6j8lkf5KkYAL+EnkZqTRMFWFw0HqPp8Zj2tQy2YXhWlvX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYoz+5vuxqi 41siYShTFoCZIHyibQ6YRYNRkmSPYUekFPGCX22sMjW1lOfNnWwkrNhC0Y5OYBe8eFyaY1M3 aZAeXZdM1bZ3rPwnOPTpupE3qzPKOHiOo8Ft3AmzXfBCu4rWpvea6rP7N5cmjw3g6iiGN6HP ZtBMWYxNHwsZTVwPGsYJ4o6l96T3CbCemUDlgqsmvYotj27IAtZieCxarI5YOeiTsxQmgOcp 3na13/oBwkTct2Z0zuMtHy27tIjhgv+UYMWUaSmr7tk3AzVyWsUBxkbE1C8pJFVl3JSRfpVG 20o4Wl2jJQq5Un2ZYPRYQzoh0yL60t0t8VrL8U27wSEy6zx6gmfB3QZQjMpVDDAnJ9mLdDN/ g/Z9+4FFQCDo5XOFi3Arub8QSeafHlKfTVbNEfoWCNcu4G7yLzfmC4jWTqKLUJYptj8GDW12 i7T6SZi1vMciskE06j99lfC695NmnQrZl5sjuk0djj9hu+cWGJDT9H0gbQ8xaseRLt1tnHb4 BA5dzG2tYji962lmi2XW/kqF7q0/fuDOzC0qQcxQsB7qGn9oC7zJ944DNRCyKFBYpZsldjBM B+7hO+tzMI70IaCNvEsPNjvVazGM4C9Tou+C5g4keaikrAoLFPdlM2fTUGX2G/pnSARfVIXa P+mnTKXJS9CU8xPlWLoL89EiOND7n1gmAv7GM+jpzz6gOL2TCPEEt8tbQreBshntv/siFuOq L53aZDaoyizpcWkPUE7B6ZIfQ5URZX6bLiqw/Fqmhmrf1Q2RTl9W6OAqV7jEqQ895loei7z1 inVcidlJJDX3BUr8C2GNSJubq3BR5F6oS5pNCAgJwf61H0qYILp56AaLsNlcb4i/e1l7Ph1U /hVI5XaUqoTEmzKq2YHcJ3wjI1+bxD01w+DOiySZjJgLZNtQgr+/MDpI1n0/y4UAyvr7sYz+ uXy1g7STZcZaR5lCcLaNKCmw1+r7CoSnetzWw3DJdwKIBfg941jKirQiP4rIpFUeU+TmGfCj wvPWEUWv+jApYMx4eLlv6Hcotf7CfZ6E2pbA3LfsuS7OCzcyWypnt1NXeOOSjbCDT+m9ainY 9JV+PHyKvgwmlhH7thnGLFxwKNivtbiquMIzglgG3mXPV2nBqk6eSuD1MhL87RTn/pX5VrwV UWI9d1Xf76OPZq9QlIWIQMkaMWF1O0VymaOt6VreB2i6X8l5qeDXGVTIwKI1H5XIoxzPd532 uwmosMXt1Gyh0Z4KNqAlSwIpW2AImZaCPciv5AeRZb1008llgAEbpvbBSv7ppqIbowUYEUtJ zaVgovEhqhdlhWeKSttTSCV0LoPn4kKtTBL0EQGewaDlO3Di6JlxxZW6zk2EllYwxgvPzif4 YS325CZ5Jli/guEQOBGVmGoXhhfXViXph23xFwOm2nUCUKvUwQh6YH71fmlpCgkH6B0J1C3P 410DE7qVD/reIf62S5atYtNtan4VdIonuHdsJnPIilGdqXWpRLqh6avYSwDrB6P7QbdQqHYj bECwducopEX+cLdT2PXxmVaOXktpMi4GVF/ IronPort-HdrOrdr: A9a23:4PIQb6Ha1MpFfb00pLqE0ceALOsnbusQ8zAXPiFKOGVom6mj/f xG885rsCMc5AxhOk3I3OrwW5VoIkm8yXcW2/h0AV7KZmCP01dAbrsD0WKI+UyGJ8SRzJ866U 6iScRD4R/LYGSSQfyU3OBwKbgd/OU= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,190,1647298800"; d="scan'208,217";a="12900460" X-MGA-submission: =?us-ascii?q?MDE1zRUw8jv2lyvW3M9x45ENeGaYBAD7Z3UzfK?= =?us-ascii?q?9eLnnR5GAnpzVD7m6hj2zrqc6iRZK8ynnoNV8RTjJCbO/FDTldfOr3ES?= =?us-ascii?q?55kuFnT4lVABoc8FUwXQkXaw2HXvVRq5Fo8MjLmnqoBgTjd98tGTFz44?= =?us-ascii?q?S9e71HxPAwsypW+A05za61Iw=3D=3D?= Received: from mail-qv1-f49.google.com ([209.85.219.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 May 2022 00:25:28 +0200 Received: by mail-qv1-f49.google.com with SMTP id a5so9325557qvx.1 for ; Sun, 01 May 2022 15:25:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=+YO45pwlnMXv3MxLkRYPXavhM2zvN5emWKx5qLyyCfY=; b=lFHxDKziVYjtzekDtiyOYh2B+BZzksMJvn/DzRcfBsfUcvttX9djgYKDFTq7OQgUcn IVyeDCOeRfaUW0RxvhYE0KZRD3cVuCuktSY0NKD5Jf9rHCQj9REVndwqgPz5XOcoOEnk mXmaYy/kAUuMAdHj2i5o8WyVXNYHFARqj6g+jDSMrFXaO/i1rbrLsNTzjfG/5AzD8/0K eiuXdZP++2lhwSP2il+t8OaCq/UNRd4w702Qnbdm/BMUQ3NNWbM4AapZNNG2lAmoGrsx hiib/ChwHuwI+A5YBO9xFdaisCMi1hDqYcXEdm0Ppn2H/8UWCnMBfcjYmsfWHeL0NHTm X2Cw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=+YO45pwlnMXv3MxLkRYPXavhM2zvN5emWKx5qLyyCfY=; b=H4LLX5pCMmIIj45VCQiQpE9oFciS/ZhIuMb/m8gll15FlVW8qGtPEMOLn/1tpauDIY BgFIyCvEPgoP00XLPh1e5vMIZFF+exR3AamnG0oTl4jt4FM077uNbFwxfw5Z+RaIYste wnv9Zi04DS3nm1Qdy0QuqvpaTRQ1SkJQV7nvDm7ps4hSlG+9kEH34FUut/aSi+D8Iy8g xTHWku8mYy0DkZL2mzf5LBZBsB6Nbk9iRUIz8/vdSESAFa8uGq+jW89OZqLFmz7b7Ksd V0uNd8lZd74bP9lqGvtbVDE4dRWPgVKW6HXSUIwkvYNYRv35XXq7xIBLXgTk8SWfqj+1 SVjw== X-Gm-Message-State: AOAM530PSQcCs0WrJZFuvibpT2O+RdrhEbKdhZdrZ30wv/Bb5aC16PQj zJtaH9Qtq7K8EN4EF4xEaYTYda0HXtvf/sFltTEbm4ss X-Google-Smtp-Source: ABdhPJy06kMWyc61CNjRh7iGcdam9Os5vT2yuWkf2Kaa3SilgC8KJm7JjyNSrtXK59fTP5Ukc+1N9tDfz+CEZqsQYXI= X-Received: by 2002:ad4:5bee:0:b0:444:474e:22d9 with SMTP id k14-20020ad45bee000000b00444474e22d9mr7737385qvc.117.1651443925962; Sun, 01 May 2022 15:25:25 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Andrei Popescu Date: Sun, 1 May 2022 23:25:15 +0100 Message-ID: To: acl2@utlists.utexas.edu, agda@lists.chalmers.se, appsem@lists.tcs.ifi.lmu.de, caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000092d52705ddfac095" Subject: [Caml-list] BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford! Reply-To: Andrei Popescu X-Loop: caml-list@inria.fr X-Sequence: 18752 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --00000000000092d52705ddfac095 Content-Type: text/plain; charset="UTF-8" *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): https://www.bcs.org/events-calendar/2022/june/hybrid-event-alan-turing-at-110-and-at-oxford/ 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. --00000000000092d52705ddfac095 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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=C2=A0and free registration (online and at the BC= S London office):

Speaker

= Jonathan Bowen, London South Bank University

Agenda

= 17:15 - Physical and online networking for attendees
18:00 - Talk
19:00 - Questi= ons
19:15-20:30 - Netw= orking

Synopsis

Alan Turing's centenary was wide= ly celebrated in 2012. It is now 110 years since Turing's birth. This t= alk explores some developments with respect to Turing, especially in the la= st 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. Turi= ng arguably wrote the first formal methods paper on program proving and muc= h later Oxford has been a major research hub for formal methods, initially = through the leadership of Christopher Strachey, a colleague of Turing at Ma= nchester, and the founder of the Programming Research Group at Oxford.

<= h2 style=3D"font-size:1.45rem;box-sizing:border-box;margin:0px 0px 0.5em;fo= nt-family:inherit;font-weight:500;line-height:1.2;color:inherit">About the = speaker

Jonathan Bowen, FBCS FRSA, is an Emeri= tus Professor at London South Bank University, where he was Professor of Co= mputing 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 Laborato= ry, and the University of Reading. Starting in 2002, he has been Chair of t= he BCS-FACS Specialist Group. He co-organized a centenary celebration for A= lan Turing at Oxford in 2012 and his books include "The Turing Guide&q= uot; (Oxford University Press, 2017). He is a Life Fellow of the BCS and th= e Royal Society of Arts.

Jonathan Bowen's personal page

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

--00000000000092d52705ddfac095--