The International Satisfiability Modulo Theories (SMT) Competition.
GitHub
The website for SMT-COMP 2026 is online including the important dates and the new organizing team.