Other Competitions

Specific Competitions

• Answer Set Programming System Competition
• The Satisfiability Modulo Theories Competition (SMT-COMP)
• Constraint Satisfaction Solver Competition
• Termination and Complexity Competition
• Confluence Competition (CoCo)
• Competitition/Exhibition of Termination Tools
• SAT Competition (SAT-COMP)
• TABLEAUX Non-classical Systems Comparison (TANCS)
• International Runtime Verification Competition
• Model Checking Contest
• Verify This
• Constrained Horn Clauses Competition (CHC COMP)
• Competition on Software Verification (SV-COMP)
• etc. etc. etc.

Competition Collections

• FLoC Olympic Games @ Vienna Summer of Logic 2014
• Olympic Games @ IJCAR 2018
• TOOLympics @ TACAS 2019