<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Dear colleagues, </div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
We are organising a UNESCO World Logic Day (WLD) event in UCL, titled L<i>ogical Journeys</i>! Details are available on our website:</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://www.ucl.ac.uk/engineering/events/2021/jan/logical-journeys-webinar-world-logic-day-event" id="LPlnk">https://www.ucl.ac.uk/engineering/events/2021/jan/logical-journeys-webinar-world-logic-day-event</a><br>
</div>
<div class="_Entity _EType_OWALinkPreview _EId_OWALinkPreview _EReadonly_1">
<div id="LPBorder_GTaHR0cHM6Ly93d3cudWNsLmFjLnVrL2VuZ2luZWVyaW5nL2V2ZW50cy8yMDIxL2phbi9sb2dpY2FsLWpvdXJuZXlzLXdlYmluYXItd29ybGQtbG9naWMtZGF5LWV2ZW50" class="LPBorder776290" style="width: 100%; margin-top: 16px; margin-bottom: 16px; position: relative; max-width: 800px; min-width: 424px;">
<table id="LPContainer776290" role="presentation" style="padding: 12px 36px 12px 12px; width: 100%; border-width: 1px; border-style: solid; border-color: rgb(200, 200, 200); border-radius: 2px;">
<tbody>
<tr valign="top" style="border-spacing: 0px;">
<td>
<div id="LPImageContainer776290" style="position: relative; margin-right: 12px; height: 86.4px; overflow: hidden; width: 240px;">
<a target="_blank" id="LPImageAnchor776290" href="https://www.ucl.ac.uk/engineering/events/2021/jan/logical-journeys-webinar-world-logic-day-event"><img id="LPThumbnailImageId776290" alt="" height="86" width="240" style="display: block;" src="https://www.ucl.ac.uk/engineering/sites/engineering/files/styles/medium_image/public/events/wld-logo-page-001_0.jpg?itok=ZJRzvp5D"></a></div>
</td>
<td style="width: 100%;">
<div id="LPTitle776290" style="font-size: 21px; font-weight: 300; margin-right: 8px; font-family: wf_segoe-ui_light, "Segoe UI Light", "Segoe WP Light", "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif; margin-bottom: 12px;">
<a target="_blank" id="LPUrlAnchor776290" href="https://www.ucl.ac.uk/engineering/events/2021/jan/logical-journeys-webinar-world-logic-day-event" style="text-decoration: none; color: var(--themePrimary);">Logical Journeys Webinar (World Logic Day Event) | UCL
Engineering - UCL – University College London</a></div>
<div id="LPDescription776290" style="font-size: 14px; max-height: 100px; color: rgb(102, 102, 102); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif; margin-bottom: 12px; margin-right: 8px; overflow: hidden;">
Logical Journeys is a one day event organised by Renato Neves, Mehrnoosh Sadrzadeh, and Alexandra Silva (UCL) for discussing the past use of logic in different domains and the challenges it faces from emerging paradigms, such as machine learning, probabilistic,
cyber-physical, and quantum computing. The event is framed in the context of UNESCO’s World Logic Day, which was proclaimed (last ...</div>
<div id="LPMetadata776290" style="font-size: 14px; font-weight: 400; color: rgb(166, 166, 166); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif;">
www.ucl.ac.uk</div>
</td>
</tr>
</tbody>
</table>
</div>
</div>
<br>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<p style="margin:0px 0px 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
<i>Logical Journeys</i> will consist of a keynote talk by Samson Abramsky and a discussion session on “the many facets of logic” which will be led by a panel of researchers with different backgrounds but with logic as a central pillar in their careers.</p>
<p class="heading" style="margin:0px 0px 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
Date: 14th January 2021. Start Time: 14h00 (UTC). End Time: 16h00 (UTC). </p>
<p style="margin:0px 0px 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
The event will be hosted online, via Zoom.</p>
<p style="margin:0px 0px 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
UCL uses third parties such as Zoom to administer virtual events and manage your personal information on our behalf. If you are happy for us to process your data solely for this purpose, please register for our webinar by clicking the booking link above. </p>
<h4 class="heading" style="margin:0px 0px 0.5em;outline:0px;font-size:1.8rem;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif;line-height:1.3em">
Outline of Programme </h4>
<ul style="margin:0px 0px 1.5em 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
<li style="margin:0px;outline:0px;background:0px 0px">14.00-15.00: Keynote talk by Prof. Samson Abramsky. </li><li style="margin:0px;outline:0px;background:0px 0px">15.00-15.30: Panelists' short talks/opinions about the discussion topics. </li><li style="margin:0px;outline:0px;background:0px 0px">15.30-16.00: Discussion amongst the panel members with questions from the audience. </li></ul>
<h4 class="heading" style="margin:0px 0px 0.5em;outline:0px;font-size:1.8rem;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif;line-height:1.3em">
Panel</h4>
<p style="margin:0px 0px 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
The panel will consist of researchers working in different areas where logic is applied: </p>
<ul style="margin:0px 0px 1.5em 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
<li style="margin:0px;outline:0px;background:0px 0px">Samson Abramsky (Oxford University): Logic, quantum, and program semantics. </li><li style="margin:0px;outline:0px;background:0px 0px">Robin Hirsch (University College London): Logic and mathematical foundations. </li><li style="margin:0px;outline:0px;background:0px 0px">Nathan Klinedinst (University College London): Logic in linguistics. </li><li style="margin:0px;outline:0px;background:0px 0px">Pasquale Minervini (University College London): Logic in machine learning. </li><li style="margin:0px;outline:0px;background:0px 0px">Lavinia Picollo (National University of Singapore/UCL): Philosophical logic. </li><li style="margin:0px;outline:0px;background:0px 0px">Alessandra Russo (Imperial College): Logic in symbolic reasoning. </li></ul>
<h4 class="heading" style="margin:0px 0px 0.5em;outline:0px;font-size:1.8rem;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif;line-height:1.3em">
Discussion points </h4>
<h5 class="heading" style="margin:0px 0px 0.5em;outline:0px;font-size:1.4rem;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif;text-transform:uppercase;font-weight:700">
1- A CONTRARIAN “EXPANSION” OF WORLD LOGIC DAY: THE WORLD IS NOISY AND UNCERTAIN: HAS LOGIC HAD ITS DAY? </h5>
<p style="margin:0px 0px 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
The idea here is the challenge we currently see to logic in CS and AI coming from the rise in machine learning and probabilistic methods. Of course, we will all want to rebut this, but it might be fun to tension our positive story against this challenge, rather
than ignoring it! </p>
<h5 class="heading" style="margin:0px 0px 0.5em;outline:0px;font-size:1.4rem;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif;text-transform:uppercase;font-weight:700">
2- EACH PANELIST'S PERSONAL JOURNEY INTO THE WORLD OF LOGIC: </h5>
<p style="margin:0px 0px 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
All panelists have experience in working with logic: some have enjoyed proving theorems in and about it, some have used machine learning and neural networks to automate the proofs. Some panelists have used the logic in exotic fields such as AI, linguistics,
and philosophy. We would love to hear about each and everyone's stories. </p>
<p style="margin:0px 0px 1.5em;outline:0px;background:0px 0px rgb(255, 255, 255);font-family:"Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif">
Please note, this webinar is open to all, but is aimed at an academic audience. Links on this page may lead to external sites. Visit <a href="https://en.unesco.org/commemorations/worldlogicday" style="margin:0px;background:0px 0px;color:rgb(51, 102, 204)">UNESCO’s
World Logic Day website</a><span> </span>for further information about the initiative. </p>
<br>
</div>
</body>
</html>