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 (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.
The panel will consist of researchers working in different areas where logic is applied:
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!
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 for further information about the initiative.