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 on 14th January 2022 in an online session 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. It will be held on MS Teams and participation will be free of charge.
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.’
Session Schedule
14 January 2022
All times are given in UTC (London)
10:30-11:55
Logic and automata for transducers
Mikołaj Bojańczyk
12:00-13:10
μ-calculi with atoms
Bartek Klin
Lunch break
14:00-14:55
The logic of graph neural networks
İsmail İlkan Ceylan
15:00-15:55
Explainable graph neural networks
Bernardo Cuenca Grau
Speakers
Professor at the Department of Mathematics, Informatics and Mechanics at the University of Warsaw. His research is on logic in computer science, with a focus on automata. In the academic year 2021/2022 he is a visiting fellow in the Department of Computer Science at the University of Oxford.
Associate professor at the Department of Computer Science at the University of Oxford. His main interests are in computation theory with atoms, operational sematnics of process algebras and programming languages, and in algebraic, coalgebraic, and bialgebraic methods.
Departmental lecturer at the Department of Computer Science at the University of Oxford. His research interests are broadly in AI & machine learning with a particular focus on relational learning & reasoning, which includes a class of challenging problems that can be naturally characterised on relational structures, such as graphs, knowledge bases, or more general logical representations.
Professor at the Department of Computer Science at the University of Oxford. His research is in the broad field of artificial intelligence. In particular, his work revolves around the areas of knowledge representation and reasoning, knowledge graphs, computational logic, semantic technologies, and their applications to data management and the Web.
How to attend?
The session will be held online as a Teams Live event. To join click on the link below:
Organisers
Przemysław Wałęga (przemyslaw.walega@cs.ox.ac.uk)
Michał Zawidzki (michal.zawidzki@cs.ox.ac.uk)
Poster
WLD_POSTER.pdf