World Logic Day celebrated at the University of Oxford
Michał Zawidzki
michal.zawidzki at gmail.com
Mon Jan 10 08:37:09 EST 2022
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/)
More information about the FOM
mailing list