Add news of SEFM 2024 accepted papers

utwente-fmt · Aug 27, 2024 · 8b29015 · 8b29015
1 parent 13f53a8
commit 8b29015
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/data/news.toml b/data/news.toml
@@ -535,4 +535,17 @@ content = """
   The paper **VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory** written by Robert Rubbens, Petra van den Bos and Marieke Huisman has been accepted at iFM 2024.
 """
 
+["Paper accepted at SEFM 2024"]
+date = "2024-08-22"
+content = """
+  The paper **Deductive verification of SYCL in VerCors** written by Ellen Wittingen, Marieke Huisman and Ömer Şakar has been accepted at SEFM 2024.
+"""
+
+["Paper accepted at SEFM 2024"]
+date = "2024-08-22"
+content = """
+  The paper **Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems** written by Philip Tasche, Paula Herber and Marieke Huisman has been accepted at SEFM 2024.
+"""
+
+
 # Previously we started all lines with `>`: this is a block quote, so please don't do this anymore :)