From 76426c08324c51116ec8ffcbe661b430292d566c Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 14 Jan 2021 11:02:58 +0000
Subject: [PATCH] Add new file

---
 _posts/2021-01-15-world-logic-day.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 _posts/2021-01-15-world-logic-day.md

diff --git a/_posts/2021-01-15-world-logic-day.md b/_posts/2021-01-15-world-logic-day.md
new file mode 100644
index 0000000..af438f4
--- /dev/null
+++ b/_posts/2021-01-15-world-logic-day.md
@@ -0,0 +1,14 @@
+---
+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 
+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 
+need for logical inference or advantages in using logic-based methods. 
+Philippa will talk on “Compositional Reasoning about Software Systems: 
+Separation Logic.” , with Petar talking about “Gillian: A Multi-language 
+Platform for Compositional Symbolic Execution.”
-- 
GitLab