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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Midday SessionCoqPL at Auditorium
Chair(s): Sandrine Blazy University of Rennes 1, France
14:00
60m
Talk
Invited Talk -- Managing Logical and Computational Complexity using Program Transformations
CoqPL
I: Nicolas Tabareau Inria, France
15:00
30m
Demonstration
Session with the Coq Development Team
CoqPL