From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10727 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrei Popescu Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford! Date: Sun, 1 May 2022 23:29:44 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============7576811922761414460==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22667"; mail-complaints-to="usenet@ciao.gmane.io" To: categories-59hdLBrVOVU@public.gmane.org, fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, "Announcement list for the South of England Regional Programming Language Seminar (S-REPLS)" Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Tue May 03 00:03:45 2022 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0a-00390e01.pphosted.com ([148.163.133.158]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nle8u-0005ep-FK for gcst-types-announce@m.gmane-mx.org; Tue, 03 May 2022 00:03:44 +0200 Original-Received: from pps.filterd (m0172791.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 242JPxqI018944; Mon, 2 May 2022 18:03:00 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0a-00390e01.pphosted.com (PPS) with ESMTP id 3fsjed52q8-1; Mon, 02 May 2022 18:02:59 -0400 Original-Received: from RHIZOME.seas.upenn.edu (rhizome.seas.upenn.edu [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 242M2wCa089560; Mon, 2 May 2022 18:02:58 -0400 Original-Received: from rhizome.seas.upenn.edu (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 242M2wuY007719; Mon, 2 May 2022 18:02:58 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0a-00390e01.pphosted.com (mx0a-00390e01.pphosted.com [148.163.133.158]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 241MTuZh123793 for ; Sun, 1 May 2022 18:29:57 -0400 Original-Received: from pps.filterd (m0172792.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 241KhjKB018236 for ; Sun, 1 May 2022 18:29:56 -0400 Original-Received: from mail-qk1-f169.google.com (mail-qk1-f169.google.com [209.85.222.169]) by mx0a-00390e01.pphosted.com (PPS) with ESMTPS id 3fsjr8eu66-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Sun, 01 May 2022 18:29:56 -0400 Original-Received: by mail-qk1-f169.google.com with SMTP id z126so10366669qkb.2 for ; Sun, 01 May 2022 15:29:56 -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=VkK+r0Ow4x0++tZ5gXK5lPSz/g7M9zw8CnU+plBXrFg=; b=cVlisvr6a2kRUXCrwcmgh2KchH0IMtNugaYswNZBGb90dA9eJTDuH8ZGFqTtPnq4DD 3wEyd4gzDwNyiwoqR23ePereiS1NdfGHzOvoEDL0ssqv8xNzvSTfAp/Ip2u1Z7GrV+8h 9du7K4vSERKHkkvvdleZlVk1KU2pJigYDUXZfo2zgO/G36CfHqYaIy5HdCpTZMkZws8E djMx1qkZWkAw7SwS4ahdWrrFyrRQecoBZB5NMjXSsqNzzU832wBWfQAIWtUSSCn5OsFk +7mWaOHimTrwGnsHOLSb6anXcXiPfjCCsU8bHnOWCu3f7Am54djI/e+jq9KT0caoOiCl WA1w== 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=VkK+r0Ow4x0++tZ5gXK5lPSz/g7M9zw8CnU+plBXrFg=; b=McOQSzZUEfXXY5w8lAiMX0adH8Ixn/9jUnQfXh2ha1b2J5GivMPDF7dzvA5v+4T1Hb DtVYPoWYVe5vT2uy5UpEfD8EuDGQt0jwdezahgw96qMOczIF4vYb4rxXFiXhWmuSc7gc UNZgF8TaqbEVJ5KiIzbZs8vG3SzTn9/RB1MKwo1VLdtwyj1ayZFmEZyCVafydXpTYJUL TaPN9C8jcWOIzblP3wkuY/QHATkrZHdADxZvGOjI6qv9MYc72YMKCj+QSCqwxL5O6fw8 QEkcZD0yqbWNm/SScKO3EiRcg2W2OuPzfnmxMzgXtfUl+f67j93KLev12jqaS6x3HKlr wOyg== X-Gm-Message-State: AOAM532Bsolel/k181sLWa1SfWhyr5yqeDC9XLHH0fUuFtvl4uGf5Gfi PgyaxbJsRJzOB59CHgWUdMNa0EpFXPd6lK/ETNjwg3Dv X-Google-Smtp-Source: ABdhPJye67pksijPFM1soPmpXbOGrIQt9mbOB/rK1nkK9C57fsh+29FeVxHhEiDfOSYO55TeFQubW37WGeLG1Fdch/w= X-Received: by 2002:a05:620a:25cf:b0:699:bbc6:9e58 with SMTP id y15-20020a05620a25cf00b00699bbc69e58mr6894728qko.64.1651444194992; Sun, 01 May 2022 15:29:54 -0700 (PDT) In-Reply-To: X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.858,Hydra:6.0.486,FMLib:17.11.64.514 definitions=2022-05-01_08,2022-04-28_01,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxlogscore=610 mlxscore=0 suspectscore=0 adultscore=0 spamscore=0 phishscore=0 clxscore=188 impostorscore=0 bulkscore=0 lowpriorityscore=0 priorityscore=336 malwarescore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2205010180 domainage_hfrom=9758 X-Mailman-Approved-At: Mon, 02 May 2022 18:02:56 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.35 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-ORIG-GUID: rcd0TeEnT-jhNZsMgSjwOoDegYcS4caI X-Proofpoint-GUID: rcd0TeEnT-jhNZsMgSjwOoDegYcS4caI X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.858,Hydra:6.0.486,FMLib:17.11.64.514 definitions=2022-05-02_07,2022-05-02_03,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 malwarescore=0 impostorscore=0 spamscore=0 mlxlogscore=999 mlxscore=0 adultscore=0 clxscore=1034 phishscore=0 suspectscore=0 priorityscore=1501 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2205020162 Xref: news.gmane.io gmane.comp.science.types.announce:10294 gmane.science.mathematics.categories:10727 Archived-At: --===============7576811922761414460== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============7576811922761414460== Content-Type: multipart/alternative; boundary="0000000000009be55d05ddfad0b2" --0000000000009be55d05ddfad0b2 Content-Type: text/plain; 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 and free registration (online and at the BCS London office): https://urldefense.com/v3/__https://www.bcs.org/events-calendar/2022/june/h= ybrid-event-alan-turing-at-110-and-at-oxford/__;!!IBzWLUs!VoMal_dK2QSfIxsS4= 2MHpfG6V-3iqBrF0IJLa43Uvgj9ePitQrgWtURvtkNRz6fzgzhT4fifNFXMWCg0BcPdRncOnUZ7= 7B14DKK2vL5m$=20 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. --0000000000009be55d05ddfad0b2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: Quoted-printable
Hybrid event: Alan Turing at 1= 10 - and at Oxford!

This hybrid ta= lk 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 BCS London office):
<= a href=3D"https://urldefense.com/v3/__https://www.bcs.org/events-calendar/2= 022/june/hybrid-event-alan-turing-at-110-and-at-oxford/__;!!IBzWLUs!VoMal_d= K2QSfIxsS42MHpfG6V-3iqBrF0IJLa43Uvgj9ePitQrgWtURvtkNRz6fzgzhT4fifNFXMWCg0Bc= PdRncOnUZ77B14DKK2vL5m$" target=3D"_blank">https://www.bcs.org/events-calen= dar/2022/june/hybrid-event-alan-turing-at-110-and-at-oxford/
<= div>

Speaker

Jonathan Bowen, London South Bank= University

Agenda

17:15 - Physical and online netwo= rking 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 wi= th respect to Turing, especially in the last decade. In particular, it pres= ents some recent research on Turing's connections with Oxford, the spea= ker's home city.

Turing is well-known for h= is work at Cambridge, Bletchley Park, and Manchester, but there has been li= ttle evidence of his visiting Oxford. Turing arguably wrote the first forma= l methods paper on program proving and much later Oxford has been a major r= esearch hub for formal methods, initially through the leadership of Christo= pher 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 Ban= k University, where he was Professor of Computing from 2000, and Chairman o= f 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 prev= ious positions at Imperial College London, the Programming Research Group a= t 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, 20= 17). He is a Life Fellow of the BCS and the Royal Society of Arts.

Jonathan Bo= wen's personal page

Article: "Ala= n Turing and Oxford". Resurrection: The Journal of the Computing C= onservation Society, No. 97, pp. 11-18, Spring 2022.

<= /div>
--0000000000009be55d05ddfad0b2-- --===============7576811922761414460==--