diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-11-11 19:28:03 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-11-11 19:28:03 +0000 |
| commit | 4dd1a6c02cb6966654a2587837a70f222b13e78b (patch) | |
| tree | 437cbe8f2c3f7863cc240960e083522b4943ecd7 | |
| parent | 849522b730c204473efa93818c5729c291d2e7f3 (diff) | |
| download | yannherklotz.com-4dd1a6c02cb6966654a2587837a70f222b13e78b.tar.gz yannherklotz.com-4dd1a6c02cb6966654a2587837a70f222b13e78b.zip | |
Add CAS talk to news
| -rw-r--r-- | data/news.toml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/data/news.toml b/data/news.toml index a12de74..0296ffc 100644 --- a/data/news.toml +++ b/data/news.toml @@ -1,4 +1,8 @@ [[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>." |