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