[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[https://www.ucl.ac.uk/engineering/sites/engineering/files/styles/medium_image/public/events/wld-logo-page-001_0.jpg?itok=ZJRzvp5D]<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<https://www.ucl.ac.uk/engineering/events/2021/jan/logical-journeys-webinar-world-logic-day-event>
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 ...
www.ucl.ac.uk
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.
