Add new file

_posts/2019-10-28-iris.md

+---
+title: Talk at Iris Workshop, Aarhus University, Denmark
+---
+Philippa Gardner, Emanuele D’Osualdo and Julian Sutherland attended the first edition 
+of the [Iris workshop](https://iris-project.org/workshop-2019/#program).
+
+The two-day workshop, held at Aarhus University, Denmark focused on [Iris]( https://iris-project.org/), 
+a Higher-Order Concurrent Separation Logic Framework implemented and verified 
+in the proof assistant Coq that can be used for reasoning about safety of concurrent programs.
\ No newline at end of file