From 85ca3bf2383f53d9f7f1d5b8f199f7e53d5e6c1f Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 15 Jan 2021 12:31:55 +0000 Subject: [PATCH] Update 2021-01-14-world-logic-day.md --- _posts/2021-01-14-world-logic-day.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2021-01-14-world-logic-day.md b/_posts/2021-01-14-world-logic-day.md index 80cb9a1..934651b 100644 --- a/_posts/2021-01-14-world-logic-day.md +++ b/_posts/2021-01-14-world-logic-day.md @@ -4,7 +4,7 @@ title: UNESCO World Logic Day event Philippa Gardner and Petar Maksimovic will take part in the [Computer Science needs Logic!](https://sites.google.com/view/imperial-worldlogicday2021/home) event, part of Imperial College contribution to the [UNESCO World Logic Day](https://en.unesco.org/commemorations/worldlogicday). The event, organised by Prof Alessandra Russo and Dr Mark Law, wants to -celebrate Logic as a vital and core part of Computing. The programme will +celebrate Logic as a vital and core part of Computing. The [programme](https://sites.google.com/view/imperial-worldlogicday2021/home/programme) will showcase advancements made in "Logic and Programming Languages" and "Logic and Artificial Intelligence", with presentations by PhD students, post-docs and academics working in areas where there is a -- GitLab