POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 15:00 - 15:30 at Auditorium - Midday Session Chair(s): Sandrine Blazy

Sat 21 Jan

main
14:00 - 15:30: CoqPL 2017 - Midday Session at Auditorium
Chair(s): Sandrine BlazyUniversity of Rennes 1, France
main14:00 - 15:00
Talk
Nicolas TabareauInria, France
main15:00 - 15:30
Demonstration