From 63f7ba747bdbe8a3431190176e2688dddb3e1881 Mon Sep 17 00:00:00 2001 From: OmerSakar Date: Fri, 15 Mar 2024 13:45:19 +0100 Subject: [PATCH] Update news.toml --- data/news.toml | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/data/news.toml b/data/news.toml index a51dadb..cbe6df9 100644 --- a/data/news.toml +++ b/data/news.toml @@ -362,7 +362,6 @@ content = """ > Marieke Huisman gave a talk titled "VerCors & Alpinist: Verification of Optimised GPU Programs" at the PLACES workshop, co-located at ETAPS, and at the ABZ conference. This talk is based on earlier work done in a collaboration between Ömer Şakar, Mohsen Safari, Marieke Huisman, and Anton Wijs, and can be found here. """ - ["Member graduation: Joël Ledelay"] date = "2023-06-30" content = """ @@ -441,4 +440,22 @@ content = """ > From this February, Alexander Stekelenburg has joined our VerCors team as a PhD candidate. Alexander will also be working under the Pallas project for the program analysis for LLVM-IR and all its source languages. Welcome Alexander! """ +["Paper accepted at RRRR Workshop at ETAPS"] +date = "2024-03-15" +content = """ +> The paper **Replication of a Deductive Synthesizer for Programs with Pointers** written by Serge Johanns and Marieke Huisman has been accepted the RRRR workshop at ETAPS. +""" + +["Lorentz workshop on Contract Languages"] +date = "2024-03-15" +content = """ +> Several VerCors team members participated in the Lorentz workshop on Contract Languages, March 4 – 8 at the Lorentz center in Leiden.A group photo of the participants of the Lorentz workshop. +""" + +["VerCors Poster & Tool Demo at ETAPS 2024"] +date = "2024-03-15" +content = """ +> At ETAPS, VerCors will be presented as a poster and during the tool demo session on Wednesday April 10, 14:00 – 16:00. Come and talk to us if you are interested to learn more about VerCors. +""" +