From 4dd1a6c02cb6966654a2587837a70f222b13e78b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 11 Nov 2022 19:28:03 +0000
Subject: Add CAS talk to news

---
 data/news.toml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/data/news.toml b/data/news.toml
index a12de74..0296ffc 100644
--- a/data/news.toml
+++ b/data/news.toml
@@ -1,3 +1,7 @@
+[[news]]
+date = "2022-10-31"
+event = "Present verified GSA semantics at <a href=\"https://talks.ee.ic.ac.uk/talk/index/3280\">CAS Group</a>."
+
 [[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>."
-- 
cgit