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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00: HCVS - IV at S4 (HCVS)
Chair(s): Nikolaj BjørnerMicrosoft Research
hcvs-2019-papers16:00 - 16:30
Martin BlichaUSI Lugano, Switzerland, Antti Hyvärinen, Jan KofroňCharles University, Natasha SharyginaUSI Lugano, Switzerland
File Attached
hcvs-2019-papers16:30 - 17:00
Experience report
Grigory FedyukovichPrinceton University