From e21d139770de5dc2ff3b4e2b303f61daf26f9eff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= Date: Fri, 22 May 2026 14:02:16 +0200 Subject: [PATCH] fix: Clarify AoE deadlines. --- web/content/_index.md | 2 ++ 1 file changed, 2 insertions(+) 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