[Event at CIG] World Logic Day celebrated at the University of Oxford

[Michał Zawidzki]

Apologies for cross-posting.

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 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:
--------------------------------------------------
10:30 PROF. MIKOLAJ BOJANCZYK (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 İSMAIL İLKAN CEYLAN (https://www.cs.ox.ac.uk/people/ismail.ceylan/
):

`Graph neural networks, probability, and logic'
--------------------------------------------------
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).

The website of the event can be found here:

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

To enter the Teams Live event use this link:

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

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 Wałęga (https://www.cs.ox.ac.uk/people/przemyslaw.walega/)
Michal Zawidzki (https://www.cs.ox.ac.uk/people/michal.zawidzki/)