Skip to content

Commit 8237954

Browse files
Update README.md (#707)
Fix OOPSLA prices date
1 parent 065ff19 commit 8237954

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -138,7 +138,7 @@ Please feel free to [contact us](mailto:[email protected]) in case of ques
138138

139139
Awards
140140
======
141-
- Distinguished Paper @ OOPSLA 2023
141+
- Distinguished Paper @ OOPSLA 2022
142142
- Gold Medal @ SVCOMP 2023
143143
- Gold Medal (x2) @ SVCOMP 2024
144144

0 commit comments

Comments
 (0)