From 14e0613ef3a708b63889ad360802b3b3a5711edb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= Date: Mon, 13 Apr 2026 17:44:50 +0200 Subject: [PATCH 1/2] Add news about preliminary calls. --- .../news/2026-04-13-preliminary-calls.md | 56 +++++++++++++++++++ 1 file changed, 56 insertions(+) create mode 100644 web/content/news/2026-04-13-preliminary-calls.md diff --git a/web/content/news/2026-04-13-preliminary-calls.md b/web/content/news/2026-04-13-preliminary-calls.md new file mode 100644 index 00000000..13a7fb7d --- /dev/null +++ b/web/content/news/2026-04-13-preliminary-calls.md @@ -0,0 +1,56 @@ +--- +layout: single +author: +title: Call for Comments, Preliminary Call for Solvers +date: 2026-04-13T00:00:00+01:00 +--- + + 21st International Satisfiability Modulo Theories Competition + (SMT-COMP'26) + + July 24–25, 2026 + Lisbon, Portugal + + CALL FOR COMMENTS + PRELIMINARY CALL FOR SOLVERS + + +We are pleased to announce the 2026 edition of SMT-COMP. SMT-COMP is the annual competition among Satisfiability Modulo Theories (SMT) solvers. + +The goals of SMT-COMP'26 are to encourage scientific advances in the power and scope of solvers, to stimulate the community to explore and discuss shared challenges, to promote tools and their usage, to engage and include new members of the community (in a fun environment), and to support the SMT-LIB project in its efforts to promote and develop the SMT-LIB format and collect and collate relevant benchmarks. + +The results of SMT-COMP'26 will be announced at the SMT Workshop (July 24–25, 2026), which is co-located with FLoC '26. + +SMT-COMP'26 is organized under the direction of the SMT Steering committee. The organizing team for SMT-COMP'26 is: + + +- **Dominik Winterer** - University of Manchester, United Kingdom +- **Martin Jonáš** - Masaryk University, Czechia +- **Tomas Kolarik** - Università della Svizzera italiana, Switzerland + +This is a call for two things: + +## CALL FOR COMMENTS + +The organizing team has prepared the schedule and preliminary rules for 2026. To further the above goals, we propose to make several changes to the format of SMT-COMP'26. The changes concern derived tools, their submission, scoring and recognition, along with benchmark selection. All the changes are summarized in the Introduction section of the proposal of the rules: +https://smt-comp.github.io/2026/rules.pdf + +Any comments you may have on these proposed changes, on how to improve the competition, or to redirect its focus are welcome and will be considered by the team. We particularly appreciate comments received +**before May 1st, 2026**. + + +## PRELIMINARY CALL FOR SOLVERS + +The submission deadline for solvers is June 10th, 2026. However, it is useful to the organizing team to know in advance which and how many solvers may be entering. If you have not submitted a solver before, or if you think there may be unusual circumstances, we ask that you let us know at your earliest convenience if you think you may be submitting one or more solvers to SMT-COMP'26. + + +## COMMUNICATION: + +The competition website is at +https://smt-comp.github.io/2026/ + +The SMT-COMP repository is at +https://github.com/SMT-COMP/smt-comp.github.io + +Public email regarding the competition may be sent to +smt-announce@googlegroups.com . From 830adbaac7a1aa0f9e81e368779c38407fa7ca2b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Jon=C3=A1=C5=A1?= Date: Mon, 13 Apr 2026 17:48:01 +0200 Subject: [PATCH 2/2] Apply prettier. --- web/content/news/2026-04-13-preliminary-calls.md | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/web/content/news/2026-04-13-preliminary-calls.md b/web/content/news/2026-04-13-preliminary-calls.md index 13a7fb7d..396eaae4 100644 --- a/web/content/news/2026-04-13-preliminary-calls.md +++ b/web/content/news/2026-04-13-preliminary-calls.md @@ -14,35 +14,31 @@ date: 2026-04-13T00:00:00+01:00 CALL FOR COMMENTS PRELIMINARY CALL FOR SOLVERS - We are pleased to announce the 2026 edition of SMT-COMP. SMT-COMP is the annual competition among Satisfiability Modulo Theories (SMT) solvers. The goals of SMT-COMP'26 are to encourage scientific advances in the power and scope of solvers, to stimulate the community to explore and discuss shared challenges, to promote tools and their usage, to engage and include new members of the community (in a fun environment), and to support the SMT-LIB project in its efforts to promote and develop the SMT-LIB format and collect and collate relevant benchmarks. The results of SMT-COMP'26 will be announced at the SMT Workshop (July 24–25, 2026), which is co-located with FLoC '26. -SMT-COMP'26 is organized under the direction of the SMT Steering committee. The organizing team for SMT-COMP'26 is: - +SMT-COMP'26 is organized under the direction of the SMT Steering committee. The organizing team for SMT-COMP'26 is: - **Dominik Winterer** - University of Manchester, United Kingdom -- **Martin Jonáš** - Masaryk University, Czechia +- **Martin Jonáš** - Masaryk University, Czechia - **Tomas Kolarik** - Università della Svizzera italiana, Switzerland This is a call for two things: ## CALL FOR COMMENTS -The organizing team has prepared the schedule and preliminary rules for 2026. To further the above goals, we propose to make several changes to the format of SMT-COMP'26. The changes concern derived tools, their submission, scoring and recognition, along with benchmark selection. All the changes are summarized in the Introduction section of the proposal of the rules: +The organizing team has prepared the schedule and preliminary rules for 2026. To further the above goals, we propose to make several changes to the format of SMT-COMP'26. The changes concern derived tools, their submission, scoring and recognition, along with benchmark selection. All the changes are summarized in the Introduction section of the proposal of the rules: https://smt-comp.github.io/2026/rules.pdf Any comments you may have on these proposed changes, on how to improve the competition, or to redirect its focus are welcome and will be considered by the team. We particularly appreciate comments received **before May 1st, 2026**. - ## PRELIMINARY CALL FOR SOLVERS -The submission deadline for solvers is June 10th, 2026. However, it is useful to the organizing team to know in advance which and how many solvers may be entering. If you have not submitted a solver before, or if you think there may be unusual circumstances, we ask that you let us know at your earliest convenience if you think you may be submitting one or more solvers to SMT-COMP'26. - +The submission deadline for solvers is June 10th, 2026. However, it is useful to the organizing team to know in advance which and how many solvers may be entering. If you have not submitted a solver before, or if you think there may be unusual circumstances, we ask that you let us know at your earliest convenience if you think you may be submitting one or more solvers to SMT-COMP'26. ## COMMUNICATION: