World Logic Day at the University of Oxford

[Michał Zawidzki]

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 (https://www.cs.ox.ac.uk/people/emanuel.sallinger/):

'Knowledge graphs - logical AI in action'
--------------------------------------------------
12:00 Dr Christoph HAASE (https://www.cs.ox.ac.uk/people/christoph.haase/):

`Approaching a problem of Sloane automatically'
--------------------------------------------------
13:45 Prof. Volker HALBACH (https://users.ox.ac.uk/~sfop0114/):

`Axiomatic theories of truth'
--------------------------------------------------
15:00 Prof. James WORRELL
(https://www.cs.ox.ac.uk/people/james.worrell/home.html):

`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:

https://sites.google.com/view/wld23

To enter the Teams Live event use this link:

https://teams.microsoft.com/l/meetup-join/19%3ameeting_MTE1NDJhZTgtMWVlMi00Mjk1LWExMDktNGVmYmU5ZDAxNTMw%40thread.v2/0?context=%7b%22Tid%22%3a%22cc95de1b-97f5-4f93-b4ba-fe68b852cf91%22%2c%22Oid%22%3a%225f2e5dcd-c8b6-4efe-820a-43d578b66cbe%22%7d

For more information on the World Logic Day visit
http://wld.cipsh.international/index.html.

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

Organisation:
Przemyslaw Walega (https://www.cs.ox.ac.uk/people/przemyslaw.walega/)
Michal Zawidzki (https://www.cs.ox.ac.uk/people/michal.zawidzki/)