2026

2025

List overview
Download

chc-comp July 2025

chc-comp@software.imdea.org

1 participants
1 discussions

Start a nNew thread

CHC-COMP 2025 presentaton at HCVS (remote)
by Gidon Ernst 22 Jul '25

22 Jul '25

Dear all, here is a Zoom link to join the extended report presentation on CHC-COMP 2025, including some details on infrastructure and progress in model validation: https://rwth.zoom-x.de/j/64067794939?pwd=fkJryIWNvEL5yOjhKfCYGkCHna9tBQ.1 Best, -- Gidon Ernst Software and Computational Systems Lab, LMU Munich https://www.sosy-lab.org/people/ernst/

1 0