15 Jan 2021
Dear all, On 15th January 2021, academics, post-docs and PhD students of the Department of Computing, Imperial College London, will celebrate the World Logic Day with a free and remotely delivered event, entitled ?Computer Science needs Logic!?. In 2019, UNESCO proclaimed World Logic Day in association with the International Council for Philosophy and Human Sciences (CIPSH) to enhance public understanding of logic and its implications for science, technology and innovation. Our event intends to contribute to the UNESCO World Logic Day with a programme of presentations, by members of the Department of Computing, that will showcase advancements made in "Logic and Programming Languages" and "Logic and Artificial Intelligence?. ------------------------------------------------------------------------------ ?Computer Science needs Logic!? https://sites.google.com/view/imperial-worldlogicday2021/ ------------------------------------------------------------------------------ Date: 15th January 2021 Time: 11:50 - 16:30 (GMT) Digital venue: Zoom Programme of the event is available on https://sites.google.com/view/imperial-worldlogicday2021/home/programme?authuser=0 Registration: ------------------ Registration is free. So, feel free to register and join the event. To receive the zoom link and reminders, attendees are invited to fill out the form available on: https://sites.google.com/view/imperial-worldlogicday2021/home/registration?authuser=0 All attendees will receive an email confirmation with the zoom link. Organisers: ----------------- Alessandra Russo and Mark Law (Department of Computing, Imperial College London) -- [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