From 77afcd337370da8c8e5425e86978cacd72850ae0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 2 Sep 2021 11:28:21 +0200
Subject: Add initial files

---
 data/news.toml | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 data/news.toml

(limited to 'data')

diff --git a/data/news.toml b/data/news.toml
new file mode 100644
index 0000000..1099a6e
--- /dev/null
+++ b/data/news.toml
@@ -0,0 +1,43 @@
+[[news]]
+date = 2021-08-31
+event = "<a href=\"/papers/fvhls_oopsla21.pdf\">Paper on Vericert</a> accepted at OOPSLA'21"
+
+[[news]]
+date = 2021-05-31
+event = "Internship with <a href=\"https://people.irisa.fr/Sandrine.Blazy/\">Sandrine Blazy</a> and <a href=\"https://people.irisa.fr/Delphine.Demange/\">Delphine Demange</a> on <a href=\"https://gitlab.inria.fr/compcertgsa/compcertssa\">CompCertSSA</a>."
+
+[[news]]
+date = 2021-02-05
+event = "Invited seminar talk for the <a href=\"https://team.inria.fr/celtique/\">Celtique project</a>."
+
+[[news]]
+date = 2020-09-10
+event = "Artifact review committee at OOPSLA 2020."
+
+[[news]]
+date = 2020-06-17
+event = "Gold medal at <a href=\"https://www.youtube.com/watch?v=gCEtTfz5dok\">PLDI 2020 SRC Presentation</a>."
+
+[[news]]
+date = 2020-06-15
+event = "Student volunteer at PLDI 2020."
+
+[[news]]
+date = 2020-02-25
+event = "Presented Verismith at FPGA 2020."
+
+[[news]]
+date = 2019-12-15
+event = "FPGA 2020 <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> accepted."
+
+[[news]]
+date = 2019-10-03
+event = "Started PhD at Imperial College London with John Wickerson."
+
+[[news]]
+date = 2019-09-15
+event = "Submitted <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> to FPGA 2020."
+
+[[news]]
+date = 2019-07-15
+event = "Student volunteer at ECOOP 2019."
-- 
cgit