World Logic Day 2023
- 10:45 16th January 2023 ( week Week 1, Hilary Term 2023 )
"The Department of Computer Science at the University of Oxford will celebrate the UNESCO World Logic Day together with a number of academic institutions all around the world!
On this occasion on 16th January 2023 in an online session 4 esteemed senior researchers—computer scientists and philosophers—from the University of Oxford will offer a closer look at different faces of logic. The event will consist of the up-to-1-hour online live talks, each one followed by a short discussion. It will be held on MS Teams and participation will be free of charge.
As the closing note let us quote the words of the Director General of UNESCO, Audrey Azoulay:
`In the twenty-first century — indeed, now more than ever — the discipline of logic is a particularly timely one, utterly vital to our societies and economies. Computer science and information and communications technology, for example, are rooted in logical and algorithmic reasoning.’
Session Schedule
16 January 2023
All times are given in UTC (London)
10:45-12:00
Knowledge graphs - logical AI in action
Emanuel Sallinger
12:00-13:15
Aprroaching a problem of Sloane automatically
Christoph Haase
Lunch break
13:45-15:00
Axiomatic theories of truth
Volker Halbach
15:00-16:15
Complexity and expressiveness for Metric Temporal Logic
James Worrell
Organisers: Przemysław Wałęga (przemyslaw.walega@cs.ox.ac.uk) Michał Zawidzki (michal.zawidzki@cs.ox.ac.uk)
TEAMS LINK http://bitly.ws/yRfi