Dear CHC Competition Community,

We are pleased to announce CHC-Comp 2026. This year��s competition will reuse the benchmark set from last year. The competition tracks remain unchanged and are as follows: LIA, LIA-Lin, LIA-Arrays, LIA-Lin-Arrays, ADT-LIA, ADT-LIA-Arrays, BV, LRA-Lin. The schedule for this year��s competition is:

April 25: CHC solver submission deadline for smoke testing (recommended)
April 25: Benchmark submission deadline
May 2: Final CHC solver submission deadline
July 25: Presentation of results at HCVS

The website with more information about this year's CHC-comp can be reached via this link: https://chc-comp.github.io/

Best regards,
Levente Bajczi and Konstantin Britikov��