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 0000000000000000000000000000000000000000..af438f444121590dd0f1719847ec6e6e6ef48700
--- /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.”