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'
--------------------------------------------------
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/)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
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