From 4c13e21c3238fd5eca7667a16fa529153eef6f89 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 23 Feb 2022 19:16:06 +0000 Subject: Add news about artefact evaluation for PLDI'22 --- data/news.toml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'data/news.toml') diff --git a/data/news.toml b/data/news.toml index 2cc0b18..f9c149f 100644 --- a/data/news.toml +++ b/data/news.toml @@ -1,6 +1,10 @@ +[[news]] +date = "2022-03-04" +event = "Artefact evaluation for PLDI'22." + [[news]] date = "2022-02-24" -event = "Give an invited talk at PEQ'22." +event = "Invited talk at PEQ'22." [[news]] date = "2022-02-07" @@ -16,7 +20,7 @@ event = "Present hyperblock scheduling at Formal Methods group at Chalmers." +event = "Present Vericert at the Formal Methods group at Chalmers." [[news]] date = "2021-08-31" @@ -32,7 +36,7 @@ event = "Invited seminar talk for the CAS Group." +event = "Present Vericert in front of CAS Group." [[news]] date = "2020-09-10" -- cgit