Skip to content

Commit 475d3e8

Browse files
committed
fix typo
1 parent f348a44 commit 475d3e8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

content/home/news.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ active = false
99

1010
[[news]]
1111
date = "Jan 2026"
12-
content = "[Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants"](https://doi.org/10.1145/3776651) won a Distinguished Paper Award at POPL '26. Congratulations, Noam, Joe, and Alexandra!"
12+
content = "[Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants](https://doi.org/10.1145/3776651) won a Distinguished Paper Award at POPL '26. Congratulations, Noam, Joe, and Alexandra!"
1313

1414
[[news]]
1515
kind = "paper"

0 commit comments

Comments
 (0)