diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-17 11:10:15 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-17 11:10:15 +0100 |
commit | 8c75c6609c543dbd32eac1e2665399e6fd24a48e (patch) | |
tree | 24e2885e01ff81a972cd1c74999c70cb517dc9f2 /data | |
parent | 82831e0eadac5aae458554bcbaebeeb8dc1efffc (diff) | |
download | yannherklotz.com-8c75c6609c543dbd32eac1e2665399e6fd24a48e.tar.gz yannherklotz.com-8c75c6609c543dbd32eac1e2665399e6fd24a48e.zip |
Add news about presenting at chalmers
Diffstat (limited to 'data')
-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 1de6846..bf0ac6f 100644 --- a/data/news.toml +++ b/data/news.toml @@ -1,4 +1,8 @@ [[news]] +date = "2021-09-16" +event = "Presented Vericert at the Formal Methods group at Chalmers." + +[[news]] date = "2021-08-31" event = "<a href=\"/papers/fvhls_oopsla21.pdf\">Paper on Vericert</a> accepted at OOPSLA'21." |