Logic List Mailing Archive

Logical Journeys! (WLD 2021 event), Virtual

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