World Logic Day

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

Relating Structure to Power: from categorical semantics to descriptive complexity.

12:00 Prof. Michael Wooldridge (https://www.cs.ox.ac.uk/people/michael.wooldridge/):

Verifying game theoretic properties of multi-agent systems.

14:00 Prof. Marta Kwiatkowska (https://www.cs.ox.ac.uk/people/marta.kwiatkowska/):

When to trust a self-driving car?

15:00 Prof. Ian Horrocks (https://www.cs.ox.ac.uk/people/ian.horrocks/):

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

16:00 Prof. Boris Motik (https://www.cs.ox.ac.uk/people/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 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: Przemysław Wałęga (https://www.cs.ox.ac.uk/people/przemyslaw.walega/)