aboutsummaryrefslogtreecommitdiffstats
path: root/data
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2021-12-12 16:12:07 +0000
committerYann Herklotz <git@yannherklotz.com>2021-12-12 16:12:07 +0000
commit08bf20331c473f40581007640661278bdc5ee640 (patch)
treeceb88dac7c8d27efacef6ac721d00d2f598daef6 /data
parentbfba60f048fd906768d05996826295ccb91d3ed2 (diff)
downloadyannherklotz.com-08bf20331c473f40581007640661278bdc5ee640.tar.gz
yannherklotz.com-08bf20331c473f40581007640661278bdc5ee640.zip
Update the introduction
Diffstat (limited to 'data')
-rw-r--r--data/news.toml16
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."