POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / CoqPL 2017 (series) / The Third International Workshop on Coq for Programming Languages /

Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations

CoqPL 2017

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close
Sat 21 Jan 2017 17:40 - 18:05 at Auditorium - Afternoon Session Chair(s): Matthieu Sozeau
Abstract (CoqPL_2017_paper_7.pdf)140KiB

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close

Sat 21 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

main
16:00 - 18:05: CoqPL 2017 - Afternoon Session at Auditorium
Chair(s): Matthieu SozeauInria
main16:00 - 16:25
Talk
Florian Faissole, Bas Spitters
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
Nicolas Magaud
File Attached

Nicolas Magaud