Skip to main content

World Logic Day 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.ukMichał Zawidzki (michal.zawidzki@cs.ox.ac.uk)

TEAMS LINK   http://bitly.ws/yRfi

 

 

 

Share this: