From b87f7aca068674944b4f41ead34abbc2d0095c47 Mon Sep 17 00:00:00 2001 From: Hernan Ponce de Leon Date: Thu, 1 Aug 2024 10:17:20 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1b79dc8236..2080f36085 100644 --- a/README.md +++ b/README.md @@ -138,7 +138,7 @@ Please feel free to [contact us](mailto:hernanl.leon@huawei.com) in case of ques Awards ====== -- Distinguished Paper @ OOPSLA 2023 +- Distinguished Paper @ OOPSLA 2022 - Gold Medal @ SVCOMP 2023 - Gold Medal (x2) @ SVCOMP 2024