15 January 2021, "Computer Science needs Logic!" (WLD 2021 event)

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!". 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".