From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 4467A7F8FC for ; Thu, 29 May 2014 08:45:38 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=pra; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of events-bounces@fmeurope.org) identity=mailfrom; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="events-bounces@fmeurope.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@kruisbes.hosting.west.nl) identity=helo; client-ip=193.84.67.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="events-bounces@fmeurope.org"; x-sender="postmaster@kruisbes.hosting.west.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al4FAALXhlPBVEO1/2dsb2JhbABDFg6CNEUfM4NDpywGkF4Bhm6BYhZ0gh4JBgEBIB0BBQoFGQwCAQIBAgYCBTATBAICAwEjNgESBQQQhTAHgl4DFQmyDoR/gX2YCQ2GGhEBBQyFSYVugiUSBIMPDzISgTkEhgGVMZFrgnhBPC+BAQ X-IPAS-Result: Al4FAALXhlPBVEO1/2dsb2JhbABDFg6CNEUfM4NDpywGkF4Bhm6BYhZ0gh4JBgEBIB0BBQoFGQwCAQIBAgYCBTATBAICAwEjNgESBQQQhTAHgl4DFQmyDoR/gX2YCQ2GGhEBBQyFSYVugiUSBIMPDzISgTkEhgGVMZFrgnhBPC+BAQ X-IronPort-AV: E=Sophos;i="4.98,932,1392159600"; d="scan'208";a="64592988" Received: from kruisbes.hosting.west.nl ([193.84.67.181]) by mail3-smtp-sop.national.inria.fr with ESMTP; 29 May 2014 08:45:37 +0200 Received: from kruisbes.hosting.west.nl (localhost [127.0.0.1]) by kruisbes.hosting.west.nl (Postfix) with ESMTP id 369B66FF5F; Thu, 29 May 2014 08:44:54 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=IvkldZ4JsNfjyQjCSvNzKCpEQEBNhgZB161LEInpUsM=; b=UGkKsN9FH5XG0KpeJ9iE6aAHFoLdRGnKOy4DE9c4wPKWCGRmsz8i8ACWmxtBlkbMJp mYJzChSSaor05+/cv8Mp6N2BIqZkZh3nfHhE7fJRjg9NxWhKDuCuSdvoDTuLy6eI1Agd KijVMVJduXxxmYk/8tbuG534c6AB2PQQq6BmwzYiJwzJRh782omtoOTuROdFES2TM+nH /vUkREZ9f99/yRFCLXEvb8rWXNXoSydAII510cXI+tTD0qs9YqnOJZwHEFZbPDWpSr+A 1jjA2f+pAIVN2cFJNnI3TJ9YFanfc48tbo2HV1RjMLZ6wXyiWfuFu7Kh+hTEMukLs1Va scog== MIME-Version: 1.0 X-Received: by 10.58.195.231 with SMTP id ih7mr24188275vec.32.1401282981092; Wed, 28 May 2014 06:16:21 -0700 (PDT) Date: Wed, 28 May 2014 14:16:21 +0100 To: FACS Events , FACS mailing list , FMnet mailing list , ProCoS mailing list , IFM SIG mailing list , SEWORLD , FM announcements , FME events X-Spam-Report: * -0.7 RCVD_IN_DNSWL_LOW RBL: Sender listed at http://www.dnswl.org/, low * trust * [209.85.128.172 listed in list.dnswl.org] * 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider * (jpbowen[at]gmail.com) * -0.0 SPF_PASS SPF: sender matches SPF record * 0.3 HTML_OBFUSCATE_05_10 BODY: Message is 5% to 10% HTML obfuscation * -1.7 BAYES_00 BODY: Bayes spam probability is 0 to 1% * [score: 0.0000] * 0.0 HTML_MESSAGE BODY: HTML included in message * -0.1 DKIM_VALID_AU Message has a valid DKIM or DK signature from author's * domain * 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily * valid * -0.1 DKIM_VALID Message has at least one valid DKIM or DK signature X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on kruisbes.hosting.west.nl X-Mailman-Approved-At: Thu, 29 May 2014 08:35:46 +0200 Message-ID: From: Announcements of FME events X-BeenThere: events@fmeurope.org X-Mailman-Version: 2.1.13 Reply-To: events@fmeurope.org List-Id: Announcements of FME events List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============1812068196085777327==" Sender: events-bounces@fmeurope.org Errors-To: events-bounces@fmeurope.org X-Virus-Scanned: clamav-milter 0.98.1 at kruisbes X-Virus-Status: Clean X-Validation-by: events-owner@fmeurope.org Subject: [Caml-list] BCS-FACS talk on Alan Turing - 5 June 2014, London --===============1812068196085777327== Content-Type: multipart/alternative; boundary=047d7b6766305169f204fa759e2f --047d7b6766305169f204fa759e2f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable See below for information on a forthcoming evening seminar under the auspices of the BCS *Formal Aspects of Computing Science* (FACS) Specialist Group in central London, UK. All welcome. Do distribute further as appropriate. *For free online booking, see:* *http://www.bcs.org/content/ConWebDoc/52335 * *For other BCS-FACS events, see:* *http://www.bcs.org/category/12468 * *For location of the BCS London Office, see:* *http://www.bcs.org/category/5843 * *Jonathan Bowen* Chair BCS-FACS Specialist Group www.*bcs*-*facs*.org *BCS-FACS evening seminar, 2014* *Thursday 5th June 2014, 5.15pm coffee/tea/biscuits for 6.00pm talk, Wilkes Room 1/2* *Alan Turing: The Founder of Computer Science* *Prof. Jonathan P. Bowen**http://www.bcu.ac.uk/tee/our-staff/jonathan-bowen * Birmingham City University *Abstract:* Alan Mathison Turing (1912-1954), OBE, FRS, has a rightful claim to the title of father of modern computing. He laid the theoretical groundwork for a universal machine that models a computer in its most general form before World War II. During the war, Turing was instrumental in developing and influencing actual computing devices that have been said to have shortened the war by up to two years by decoding encrypted enemy messages that were believed by others to be unbreakable. Unlike some theoreticians, he was willing to be involved with practical aspects, and was as happy to wield a soldering iron as he was to wrestle with a mathematical problem, normally from a unique angle compared to others. *This talk will explore Alan Turing=E2=80=99s life, achievements, and legacy, in = the month of the 60th anniversary after his death (on 7th June 1954).* Prof. Jonathan Bowen Professor of Computer Science, Birmingham City University Emeritus Professor, London South Bank University Chairman, Museophile Limited http://www.jpbowen.com --047d7b6766305169f204fa759e2f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


= For free online booking, see:

http://= www.bcs.org/content/ConWebDoc/52335

For othe= r BCS-FACS events, see:

http://www.bcs.org/category/12468

For loca= tion of the BCS London Office, see:

http://www.bcs.org/category/5843


Jonathan Bowen

<= p class=3D"MsoNormal" style=3D"font-size:12.666666984558105px">Chair BCS-FACS Specialist Group

www.bcs-facs.org


BCS-FACS evening seminar, 2014

=C2=A0

<= p class=3D"MsoNormal" style=3D"font-size:12.666666984558105px">Thursday = 5th=C2=A0June 2014, 5.15pm coffee/tea/biscuits for 6.00pm talk, = Wilkes Room 1/2

Alan=C2=A0Turing: The Founder = of Computer Science

Prof. Jo= nathan P. Bowen
<= span style=3D"line-height:15.333333015441895px">http://www.bcu.ac.u= k/tee/our-staff/jonathan-bowen

Birmingham City University


= Abstract:=C2=A0Alan Mathison=C2=A0Turing=C2=A0(1912-1954), OBE, FRS, has a rightful = claim to the title of father of modern computing. He laid the theoretical g= roundwork for a universal machine that models a computer in its most genera= l form before World War II. During the war,=C2=A0Turing=C2=A0was instrumental in develop= ing and influencing actual computing devices that have been said to have sh= ortened the war by up to two years by decoding encrypted enemy messages tha= t were believed by others to be unbreakable. Unlike some theoreticians, he = was willing to be involved with practical aspects, and was as happy to wiel= d a soldering iron as he was to wrestle with a mathematical problem, normal= ly from a unique angle compared to others.=C2=A0This talk will explore A= lan=C2=A0Turing=E2=80=99s life, achievements, and legacy, in the month of the 60th<= /sup>=C2=A0anniversary after his death (on 7th=C2=A0June 1954).<= /i>


=

Prof. Jonathan Bowen
Professor of Computer Science, Birmingham City Univer= sity
Emeritus Profess= or, London South Bank University
Chairman, Museophile Limited
http://www.jpbowen.com
--047d7b6766305169f204fa759e2f-- --===============1812068196085777327== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ events mailing list events@fmeurope.org http://fmeurope.hosting.west.nl/mailman/listinfo/events --===============1812068196085777327==--