Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sat 19 Jan 2019 10:05 - 10:30 at Sala VI - Keynote & Contributed Talks 1 Chair(s): Ilya Sergey

The goals of this presentation are to motivate the need for automatic counterexample search in Coq, to evaluate existing tools which are currently available for Coq users, but also tools from other ecosystems performing better than those available for Coq, to conclude that the current state of the art for counterexample search in Coq is unsatisfactory and should be improved, hopefully initiating a discussion in the Coq community on how this problem should be tackled.

Slides (slides.pdf)116KiB
Abstract (coqpl19-final10.pdf)474KiB

Sat 19 Jan

CoqPL-2019
09:00 - 10:30: CoqPL - Keynote & Contributed Talks 1 at Sala VI
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore
CoqPL-201909:00 - 09:05
Day opening
CoqPL-201909:05 - 10:05
Talk
CoqPL-201910:05 - 10:30
Talk
Sam GruetterMassachusetts Institute of Technology
File Attached