ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 16:30 - 17:00 at S4 (HCVS) - IV Chair(s): Nikolaj Bjørner

The CHC competition (CHC-COMP) compares state-of-the-art tools for CHC solving with respect to performance and effectiveness on a set of publicly available benchmarks. The winners among participating solvers are recognized by measuring the number of correctly solved benchmarks. This report will announce the winners and will give an opportunity to discuss the next competitions.

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
IVHCVS at S4 (HCVS)
Chair(s): Nikolaj Bjørner Microsoft Research
16:00
30m
Talk
Decomposing Farkas Interpolants
HCVS
Martin Blicha USI Lugano, Switzerland, Antti Hyvärinen , Jan Kofroň Charles University, Natasha Sharygina USI Lugano, Switzerland
File Attached
16:30
30m
Experience report
Report on the CHC competition
HCVS
Grigory Fedyukovich Princeton University