diff options
Diffstat (limited to 'data/news.toml')
| -rw-r--r-- | data/news.toml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/data/news.toml b/data/news.toml index bf0ac6f..52b1b76 100644 --- a/data/news.toml +++ b/data/news.toml @@ -1,4 +1,8 @@ [[news]] +date = "2021-11-22" +event = "Present hyperblock scheduling at CAS Group." + +[[news]] date = "2021-09-16" event = "Presented Vericert at the Formal Methods group at Chalmers." @@ -15,6 +19,10 @@ date = "2021-02-05" event = "Invited seminar talk for the <a href=\"https://team.inria.fr/celtique/\">Celtique project</a>." [[news]] +date = "2020-12-07" +event = "Presented Vericert in front of CAS Group." + +[[news]] date = "2020-09-10" event = "Artifact review committee at OOPSLA 2020." @@ -31,6 +39,10 @@ date = "2020-02-25" event = "Presented Verismith at FPGA 2020." [[news]] +date = "2020-02-03" +event = "Presented Verismith in front of CAS Group." + +[[news]] date = "2019-12-15" event = "FPGA 2020 <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> accepted." @@ -45,3 +57,7 @@ event = "Submitted <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> t [[news]] date = "2019-07-15" event = "Student volunteer at ECOOP 2019." + +[[news]] +date = "2019-07-01" +event = "Present fuzzing Verilog for CAS Group." |