14 Jan 2021
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. https://www.cs.ox.ac.uk/seminars/2372.html 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 title to be announced 12:00 Prof. Michael Wooldridge Verifying game theoretic properties of multi-agent systems 14:00 Prof. Marta Kwiatkowska When to trust a self-driving car? 15:00 Prof. Ian Horrocks Which is the tallest building in Europe? Representing and Reasoning About Knowledge 16:00 Prof. 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 the link on https://www.cs.ox.ac.uk/seminars/2372.html For more information on the World Logic Day visit http://wld.cipsh.international/ 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 -- [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