World Logic Day celebrated at the University of Oxford

Michał Zawidzki michal.zawidzki at
Mon Jan 11 15:28:27 EST 2021

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

The event will consist of the following up-to-1-hour online live talks,
each one followed by a short discussion:

*11:00 Prof. Samson Abramsky* (

title to be announced

*12:00 Prof. Michael Wooldridge* (

Verifying game theoretic properties of multi-agent systems

*14:00 Prof. Marta Kwiatkowska* (

When to trust a self-driving car?

*15:00 Prof. Ian Horrocks* (

Which is the tallest building in Europe? Representing and Reasoning About

*16:00 Prof. Boris Motik* (

Deductive artificial intelligence: foundations & applications

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

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

Organisation: Przemysław Wałęga (
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210111/c198cb10/attachment.html>

More information about the FOM mailing list