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
Speakers
Senior researcher at the Department of Computer Science at Oxford University and assistant professor and head of the Knowledge Graph Lab at TU Wien. His research interests are on both theoretical and practical aspects of scalable knowledge-based information systems and artificial intelligence.
Associate professor at the Department of Computer Science at the University of Oxford. His research is focused on mathematical and logical methods for verifying software and hardware reliability.
Professor of philosophy at the Department of Philosophy at Oxford University. His expertise is in logic, philosophy of mathematics, philosophy of language, and epistemology, with a particular focus on formal theories of truth.
Professor at the Department of Computer Science at the University of Oxford. His research interests focus on logic in computer science, linear dynamical systems and automated verification.
How to attend?
The session will be held online as a Teams Live event. To join click on the link below:
Organisers
Przemysław Wałęga (przemyslaw.walega@cs.ox.ac.uk)
Michał Zawidzki (michal.zawidzki@cs.ox.ac.uk)
Poster
WLD23_POSTER.pdf