14 Jan 2021
Dear colleagues, We are organising a UNESCO World Logic Day (WLD) event in UCL, titled Logical Journeys! Details are available on our website: https://www.ucl.ac.uk/engineering/events/2021/jan/logical-journeys-webinar-world-logic-day-event Logical Journeys Webinar (World Logic Day Event) | UCL Engineering - UCL ? University College London 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. Logical Journeys 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. Date: 14th January 2021. Start Time: 14h00 (UTC). End Time: 16h00 (UTC). The event will be hosted online, via Zoom. 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. Outline of Programme * 14.00-15.00: Keynote talk by Prof. Samson Abramsky. * 15.00-15.30: Panelists' short talks/opinions about the discussion topics. * 15.30-16.00: Discussion amongst the panel members with questions from the audience. Panel The panel will consist of researchers working in different areas where logic is applied: * Samson Abramsky (Oxford University): Logic, quantum, and program semantics. * Robin Hirsch (University College London): Logic and mathematical foundations. * Nathan Klinedinst (University College London): Logic in linguistics. * Pasquale Minervini (University College London): Logic in machine learning. * Lavinia Picollo (National University of Singapore/UCL): Philosophical logic. * Alessandra Russo (Imperial College): Logic in symbolic reasoning. Discussion points 1- A CONTRARIAN ?EXPANSION? OF WORLD LOGIC DAY: THE WORLD IS NOISY AND UNCERTAIN: HAS LOGIC HAD ITS DAY? 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! 2- EACH PANELIST'S PERSONAL JOURNEY INTO THE WORLD OF LOGIC: 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. 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 UNESCO?s World Logic Day website<https://en.unesco.org/commemorations/worldlogicday> for further information about the initiative. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam