World Logic Day celebrated at the University of Oxford

[Michał Zawidzki]

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

*11:00 Prof. Samson Abramsky* (
https://www.cs.ox.ac.uk/people/samson.abramsky/):

title to be announced

*12:00 Prof. Michael Wooldridge* (
https://www.cs.ox.ac.uk/people/michael.wooldridge/):

Verifying game theoretic properties of multi-agent systems

*14:00 Prof. Marta Kwiatkowska* (
https://www.cs.ox.ac.uk/people/marta.kwiatkowska/):

When to trust a self-driving car?

*15:00 Prof. Ian Horrocks* (https://www.cs.ox.ac.uk/people/ian.horrocks/):

Which is the tallest building in Europe? Representing and Reasoning About
Knowledge

*16:00 Prof. Boris Motik* (https://www.cs.ox.ac.uk/people/boris.motik/):

Deductive artificial intelligence: foundations & applications

Participation is free of charge and all given dates and times are based on
Universal Time Coordinated (London).

*To enter the Teams Live event use this *LINK
<https://teams.microsoft.com/l/meetup-join/19%3ameeting_NmE0ZjAwN2QtMGQwNC00YTMyLTkzZTUtY2VkYTcxYTQyZmJh%40thread.v2/0?context=%7b%22Tid%22%3a%22cc95de1b-97f5-4f93-b4ba-fe68b852cf91%22%2c%22Oid%22%3a%223a02d437-4a3d-41ca-844e-25c004a9b3b2%22%2c%22IsBroadcastMeeting%22%3atrue%7d>

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: Przemysław Wałęga (
https://www.cs.ox.ac.uk/people/przemyslaw.walega/)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210111/c198cb10/attachment.html>