POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 17:15 - 17:40 at Auditorium - Afternoon Session Chair(s): Matthieu Sozeau
Abstract (CoqPL_2017_paper_12.pdf)193KiB

Sat 21 Jan

main
16:00 - 18:05: CoqPL 2017 - Afternoon Session at Auditorium
Chair(s): Matthieu SozeauInria
main16:00 - 16:25
Talk
File Attached
main16:25 - 16:50
Talk
Abhishek Anand, Andrew AppelPrinceton, Greg MorrisettCornell University, Zoe ParaskevopoulouPrinceton University, USA, Randy PollackHarvard University, Olivier Savary BelangerPrinceton University, Matthieu SozeauInria, Matthew WeaverPrinceton University
File Attached
main16:50 - 17:15
Talk
Izumi AsakuraTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology
File Attached
main17:15 - 17:40
Talk
Ryan DoengesUniversity of Washington, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington, Karl Palmskog
File Attached
main17:40 - 18:05
Talk
File Attached