diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-02-23 19:16:06 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-23 19:16:06 +0000 |
commit | 4c13e21c3238fd5eca7667a16fa529153eef6f89 (patch) | |
tree | 68d02754d178175a2b61cf02190a9de256babd55 /data | |
parent | 3951f6d887428995de70e92aec8eac4961b9a1d0 (diff) | |
download | yannherklotz.com-4c13e21c3238fd5eca7667a16fa529153eef6f89.tar.gz yannherklotz.com-4c13e21c3238fd5eca7667a16fa529153eef6f89.zip |
Add news about artefact evaluation for PLDI'22
Diffstat (limited to 'data')
-rw-r--r-- | data/news.toml | 10 |
1 files changed, 7 insertions, 3 deletions
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 <href=\"https://pldi22.sigplan.org/track/pldi-2022-PLDI-Research-Artifacts#About\">PLDI'22</a>." + +[[news]] date = "2022-02-24" -event = "Give an invited talk at <a href=\"https://isoft.acm.org/isec2022/iwpe\">PEQ'22</a>." +event = "Invited talk at <a href=\"https://isoft.acm.org/isec2022/iwpe\">PEQ'22</a>." [[news]] date = "2022-02-07" @@ -16,7 +20,7 @@ event = "Present hyperblock scheduling at <a href=\"https://talks.ee.ic.ac.uk/ta [[news]] date = "2021-09-16" -event = "Presented Vericert at the <a href=\"https://www.chalmers.se/en/departments/cse/organisation/computingscience/Pages/default.aspx\">Formal Methods group at Chalmers</a>." +event = "Present Vericert at the <a href=\"https://www.chalmers.se/en/departments/cse/organisation/computingscience/Pages/default.aspx\">Formal Methods group at Chalmers</a>." [[news]] date = "2021-08-31" @@ -32,7 +36,7 @@ event = "Invited seminar talk for the <a href=\"https://team.inria.fr/celtique/\ [[news]] date = "2020-12-07" -event = "Presented Vericert in front of <a href=\"https://talks.ee.ic.ac.uk/talk/index/1221\">CAS Group</a>." +event = "Present Vericert in front of <a href=\"https://talks.ee.ic.ac.uk/talk/index/1221\">CAS Group</a>." [[news]] date = "2020-09-10" |