<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">Dear all, </div>
<div class=""><br class="">
</div>
<div class="">The following webinar may be of interest. Please see the end of the email for details on the seminar. </div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div><span style="font-size: xx-large; color: rgb(0, 102, 51); font-family: inherit;" class="">Webinar: BCS-FACS 2020 AGM & Landin Seminar</span><br class="">
<a href="https://www.bcs.org/events/2020/december/webinar-bcs-facs-2020-agm/" target="_blank" class="">https://www.bcs.org/events/2020/december/webinar-bcs-facs-2020-agm/</a><br class="">
<b class="">Registration:</b><br class="">
<a href="https://www.eventbrite.co.uk/e/bcs-facs-2020-agm-tickets-121367745193" target="_blank" class="">https://www.eventbrite.co.uk/e/bcs-facs-2020-agm-tickets-121367745193</a><br class="">
<font color="#bf5af2" class=""><span style="caret-color: rgb(191, 90, 242);" class=""><br class="">
</span></font><span style="color: rgb(99, 135, 0); font-family: inherit; font-size: 1.4em;" class="">The Annual Peter Landin Semantics seminar will follow the AGM.</span><br class="">
<span style="color: inherit; font-family: inherit; font-size: 1.45rem;" class="">Speakers</span><br class="">
<span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">Tim </span><span class="" style="font-size: 20px; font-family: DINNext, sans-serif;">Denvir and Troy Astarte</span><br class="">
<span style="color: inherit; font-family: inherit; font-size: 1.45rem;" class="">Agenda</span><br class="">
<span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">This online event will be held on Zoom.</span><br class="">
<span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">15:30 - Informal chat with your own coffee/tea/biscuits</span><br class="">
<span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">16:00 - AGM</span><br class="">
<span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">Agenda</span><br class="">
<blockquote type="cite" class="">
<div class="">
<div class="">
<div dir="ltr" class="">
<div class="gmail_quote">
<div dir="ltr" class="">
<div dir="ltr" class="">
<div style="box-sizing: border-box; font-family: DINNext, sans-serif;" class="">
<div style="box-sizing:border-box" class=""><span style="font-size: 1rem;" class="">Apologies (Jonathan Bowen)</span><br class="">
<span style="font-size: 1rem;" class="">Minutes of the previous AGM (Roger Carsley/Jonathan Bowen)</span><br class="">
<span style="font-size: 1rem;" class="">Chairman's Report (Jonathan Bowen)</span><br class="">
<span style="font-size: 1rem;" class="">Liaison Reports (Rob Hierons et al.)</span><br class="">
<span style="font-size: 1rem;" class="">Statement of Accounts (John Cooke)</span><br class="">
<span style="font-size: 1rem;" class="">Election of Officers and Committee Members* (Jonathan Bowen)</span><br class="">
<span style="font-size: 1rem;" class="">Future events (Sofia Meacham/Jonathan Bowen et al.)</span><br class="">
<span style="font-size: 1rem;" class="">FACS online (Jonathan Bowen/Tim </span><span class="" style="font-size: 1rem;">Denvir</span><span style="font-size: 1rem;" class=""> et al.)</span><br class="">
<span style="font-size: 1rem;" class="">Any other business</span><br class="">
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</blockquote>
<span style="font-size: x-small; font-family: DINNext, sans-serif;" class="">* Please email the current FACS chair, Jonathan Bowen on
</span><i class="" style="font-family: DINNext, sans-serif;"><a href="mailto:jonathan.bowen@lsbu.ac.uk" target="_blank" class="">jonathan.bowen@lsbu.ac.uk</a></i><span style="font-size: x-small; font-family: DINNext, sans-serif;" class=""> by the end of
</span><b class="" style="font-family: DINNext, sans-serif;">1 December 2020</b><span style="font-size: x-small; font-family: DINNext, sans-serif;" class=""> if you would like to stand for the position of chair, secretary, or treasurer, or to join the FACS
committee.</span><br class="">
<font color="#bf5af2" face="DINNext, sans-serif" class=""><span style="caret-color: rgb(191, 90, 242); font-size: 20px;" class=""><br class="">
</span></font><span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">17:15 - Informal chat with your own coffee/tea/biscuits</span><br class="">
<span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">18:00 - Annual Peter Landin Semantics Seminar</span><br class="">
<span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">19:30 - Close</span><br class="">
<span style="color: inherit; font-family: inherit; font-size: 1.45rem;" class="">Synopsis</span><br class="">
<a href="http://www.denvir.net/Tim/" target="_blank" class="" style="font-size: 20px; font-family: DINNext, sans-serif;">Tim <span class="">Denvir</span></a><span style="font-size: 20px; font-family: DINNext, sans-serif;" class=""> &
</span><a href="http://homepages.cs.ncl.ac.uk/troy.astarte/" target="_blank" class="" style="font-size: 20px; font-family: DINNext, sans-serif;">Troy Astarte</a><span style="font-size: 20px; font-family: DINNext, sans-serif;" class=""> -
</span><b class="" style="font-size: 20px; font-family: DINNext, sans-serif;">Algol 60 @ 60: its place in formal semantics</b><br class="">
<span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">This talk celebrates the programming language Algol 60, 60 years on, especially its formal aspects. See also an article in the </span><a href="https://www.bcs.org/media/5842/facs-jun20.pdf" title="facs-jun20.jpdf" target="_blank" class="" style="font-family: DINNext, sans-serif; color: rgb(0, 102, 51); box-sizing: border-box; display: inline; font-size: 1rem; margin-bottom: 0px;">FACS
FACTS newsletter</a><span style="font-size: 20px; font-family: DINNext, sans-serif;" class=""> (June 2020, pp. 7-12)</span><br class="">
<b class="" style="font-family: "Liberation Serif", serif;"><font size="4" class="">Abstract</font></b><br class="">
<font color="#bf5af2" face="DINNext, sans-serif" class=""><span style="caret-color: rgb(191, 90, 242); font-size: 20px;" class=""><br class="">
</span></font><span style="font-family: "Liberation Serif", serif;" class="">Algol 60, an inspiration for many languages which followed it, Pascal, C, Simula, Java and others, was very carefully defined. Following its predecessor International Algorithmic Language
(IAL, or later ALGOL 58), its syntax was defined in BNF, itself a formal language, in the “Report” and “Revised Report on the Algorithmic Language Algol 60”, generally known as the </span><i class="" style="font-family: "Liberation Serif", serif;">Algol 60
Report</i><span style="font-family: "Liberation Serif", serif;" class="">. From the report, it is clear that the whole project was guided by formal considerations, even if there was no specific formal semantics in the definition. Peter Landin was one of several
people who published a formal semantics for Algol 60: Landin’s came in two parts in 1965 in CACM Volume 8. This was an early part of an emerging zeitgeist for formal semantic specification of programming languages. The talk will describe some of the history
of the language’s definition and the background of its authors, and will comment upon Peter Landin’s semantics and Algol’s relation to Church's λ-calculus. Some other semantic descriptions of ALGOL 60 will be overviewed in addition. Finally, the impact and
influence of ALGOL 60 will be explored.</span><br class="">
<font color="#bf5af2" face="DINNext, sans-serif" class=""><span style="caret-color: rgb(191, 90, 242); font-size: 20px;" class=""><br class="">
</span></font><span style="font-size: 20px; font-family: DINNext, sans-serif;" class="">Our events are for adults aged 16 years and over.</span><br class="">
<span class="" style="font-size: 20px; font-family: DINNext, sans-serif; box-sizing: border-box;">This event is brought to you by: </span><a href="https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/" title="FACS (Formal Aspects of Computing Science) group" target="_blank" class="" style="font-family: DINNext, sans-serif; color: rgb(0, 102, 51); box-sizing: border-box; display: inline; font-size: 1rem; margin-bottom: 0px;">BCS
FACS specialist group</a><br class="">
</div>
<br class="">
</body>
</html>