World Logic Day 2022

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 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: Further details on https://sites.google.com/view/wld22

10:30 Prof. Mikołaj Bojańczyk (https://www.mimuw.edu.pl/~bojan/):

Logic and automata for transducers.

12:00 Prof. Bartek Klin (https://www.cs.ox.ac.uk/people/bartek.klin/):

 μ-calculi with atoms.

14:00 Dr Ismail Ceylan https://www.cs.ox.ac.uk/people/ismaililkan.ceylan/

The logic of graph neural networks.

15:00 Prof. Bernardo Cuenca Grau (https://www.cs.ox.ac.uk/people/bernardo.cuencagrau/):

Explainable graph neural networks.

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 https://bit.ly/33uciLi

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/),  Michał Zawidzki (https://www.cs.ox.ac.uk/people/michal.zawidzki/)