POPL 2016 (series) / CoqPL 2016 (series) /
CoqPL 2016 Program
This is the CoqPL 2016 program - see the full program for POPL 2016 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 23 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sat 23 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | |||
09:00 60mTalk | Coq 8.5 at work and the future of Coq CoqPL Matthieu Sozeau Inria | ||
10:30 - 12:05 | |||
10:30 25mTalk | A Coq Library for Binary Logical Relations CoqPL Link to publication | ||
10:55 25mTalk | A Coinduction Proof Rule for Hoare Doubles CoqPL Christian J. Bell MIT CSAIL Link to publication | ||
11:20 25mTalk | Formalizing Simple Refinements in Coq CoqPL Link to publication | ||
11:45 20mTalk | Company-Coq: Taking Proof General one step closer to a real IDE CoqPL Link to publication | ||
14:00 - 15:25 | |||
14:00 60mTalk | A Tutorial on using the Paco Library for coinductive reasoning CoqPL Chung-Kil Hur Seoul National University | ||
15:00 25mTalk | Certified Desugaring of Javascript Programs using Coq CoqPL Marek Materzok University of Wroclaw Link to publication | ||
16:00 - 18:00 | |||
16:00 25mTalk | The Category-theoretic Solution of Recursive Ultra-metric Space Equations CoqPL Link to publication | ||
16:25 25mTalk | A Case for Tactics with (Limited) Side Effects CoqPL Pre-print | ||
16:50 25mTalk | Formal Verification of Stability Properties of Cyber-Physical Systems CoqPL Matthew Chan , Daniel Ricketts University of California, San Diego, Sorin Lerner University of California, San Diego, Gregory Malecha UCSD Link to publication | ||
17:15 30mTalk | The Science of Deep Specification CoqPL Andrew W. Appel Princeton | ||
17:45 15mTalk | Discussion CoqPL | ||