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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:30: Keynote & Contributed Talks 1CoqPL at Sala VI
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore
09:00 - 09:05
Day opening
09:05 - 10:05
Coq User Interfaces: Past, Present, and Future (Keynote)
10:05 - 10:30
Counterexamples for Coq Conjectures
Sam GruetterMassachusetts Institute of Technology
File Attached