Logic List Mailing Archive

UNESCO World Logic Day in Oxford, Virtual, 14 Jan 2022 [WLD 2022 Event]

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'

`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:


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

Przemyslaw Wałęga (https://www.cs.ox.ac.uk/people/przemyslaw.walega/)
Michal Zawidzki (https://www.cs.ox.ac.uk/people/michal.zawidzki/)
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam