Write a Blog >>
Sat 23 Jan 2016 16:00 - 16:25 at Room St Petersburg III - Session IV

Sat 23 Jan

CoqPL-2016-main
16:00 - 18:00: CoqPL - Session IV at Room St Petersburg III
CoqPL-2016-main16:00 - 16:25
Talk
Amin Timany, Bart JacobsiMinds - Distrinet, KU Leuven
Link to publication
CoqPL-2016-main16:25 - 16:50
Talk
Pre-print
CoqPL-2016-main16:50 - 17:15
Talk
Matthew Chan, Daniel RickettsUniversity of California, San Diego, Sorin LernerUniversity of California, San Diego, Gregory MalechaUCSD
Link to publication
CoqPL-2016-main17:15 - 17:45
Talk
Andrew AppelPrinceton
CoqPL-2016-main17:45 - 18:00
Talk