Add news about preliminary calls.

Author: Martin Jonáš

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 .