World Logic Day at the University of Oxford

Michał Zawidzki michal.zawidzki at
Fri Dec 23 08:04:05 EST 2022

Apologies for cross-posting.

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 4
esteemed senior researchers from the university will offer a closer
look at their fields of research and explain how logic and logical
methods are exploited therein.

The event will be virtual and will take place on the **16th of January 2023**.

The session will consist of the following up-to-1-hour online live
talks, each one followed by a short discussion:
10:45 Dr Emanuel SALLINGER (

'Knowledge graphs - logical AI in action'
12:00 Dr Christoph HAASE (

`Approaching a problem of Sloane automatically'
13:45 Prof. Volker HALBACH (

`Axiomatic theories of truth'
15:00 Prof. James WORRELL

`Complexity and expressiveness for Metric Temporal Logic'

Participation is free of charge and all given dates and times are
based on Universal Time Coordinated (London).

The website of the event can be found here:

To enter the Teams Live event use this link:

For more information on the World Logic Day visit

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.’

Przemyslaw Walega (
Michal Zawidzki (

More information about the FOM mailing list