22 Jul
2025
22 Jul
'25
10:13 a.m.
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/