diff --git a/web/content/_index.md b/web/content/_index.md index fc9842ef..4c357e28 100644 --- a/web/content/_index.md +++ b/web/content/_index.md @@ -20,6 +20,8 @@ present the competitors and results of the competition. - **June 10** Deadline for final versions of participating solvers, including final system descriptions - **July 24–25** SMT Workshop (presentation of results) +All deadlines are 11:59 PM AoE (Anywhere on Earth). + ### Communication If you want to publicly discuss topics such as rules, submission process, or the competition results with the SMT-COMP community, you are welcome in