Update news.toml

Burned away the abstract
utwente-fmt · Apr 23, 2024 · a943a01 · a943a01
1 parent 0d7bdc5
commit a943a01
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/data/news.toml b/data/news.toml
@@ -476,8 +476,6 @@ content = """
 date = "2024-04-16"
 content = """
 >  Marieke Huisman gave a keynote talk titled "VerCors: Inclusive Software Verification" at the <a href="https://conf.researchr.org/details/dfdm-2024/dfdm-2024-papers/2/VerCors-Inclusive-Software-Verification" target="_blank">Dutch Formal Methods Day 2024</a>. 
-
-> She gave an overview of the VerCors verifier, how it is set up, it's support of different programming languages and features, and different use cases tackled with VerCors. Towards the end of her talk, she sketched my ideas and plans to further increase the inclusiveness of VerCors.
 """