From 570141795eca88c7abde043104a2893e06458cb0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 12 Aug 2022 18:18:27 +0100
Subject: Add talk pdf

---
 data/news.toml                                    |   4 ++++
 static/docs/ini22/ini22-formalised-predicates.pdf | Bin 0 -> 195117 bytes
 2 files changed, 4 insertions(+)
 create mode 100755 static/docs/ini22/ini22-formalised-predicates.pdf

diff --git a/data/news.toml b/data/news.toml
index b6aabe3..a12de74 100644
--- a/data/news.toml
+++ b/data/news.toml
@@ -1,3 +1,7 @@
+[[news]]
+date = "2022-08-12"
+event = "Talk at the <a href=\"https://johnwickerson.github.io/cw2022.html\">Concurrency Meeting 2022</a> about <a href=\"/docs/ini22/ini22-formalised-predicates.pdf\">Formalising Predicated Execution</a>."
+
 [[news]]
 date = "2022-06-28"
 event = "Program Committee for <a href=\"https://perr-workshop.github.io/2022/\">PERR'22</a>."
diff --git a/static/docs/ini22/ini22-formalised-predicates.pdf b/static/docs/ini22/ini22-formalised-predicates.pdf
new file mode 100755
index 0000000..70927fb
Binary files /dev/null and b/static/docs/ini22/ini22-formalised-predicates.pdf differ
-- 
cgit