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

Displayed time zone: Belfast change

09:00 - 10:30
Keynote & Contributed Talks 1CoqPL at Sala VI
Chair(s): Ilya Sergey Yale-NUS College and National University of Singapore
09:00
5m
Day opening
Opening
CoqPL

09:05
60m
Talk
Coq User Interfaces: Past, Present, and Future (Keynote)
CoqPL
10:05
25m
Talk
Counterexamples for Coq Conjectures
CoqPL
Samuel Gruetter Massachusetts Institute of Technology
File Attached