From 8f4d7d12569b25dff6bf6c8836d564da2ba93fcb Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 4 Feb 2023 13:12:01 +0000 Subject: Add more news items --- data/news.toml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/data/news.toml b/data/news.toml index 0296ffc..b55a374 100644 --- a/data/news.toml +++ b/data/news.toml @@ -1,3 +1,11 @@ +[[news]] +date = "2023-01-16" +event = "Presented our CPP'23 paper in Boston." + +[[news]] +date = "2022-12-19" +event = "Internship at Amazon in the Prime Video Automated Reasoning Group." + [[news]] date = "2022-10-31" event = "Present verified GSA semantics at CAS Group." -- cgit