diff options
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." |