POPL 2017
Sun 15 - Sat 21 January 2017

Tue 17 Jan

CPP-2017
16:00 - 17:30: CPP - Formal verification of programming language foundations at Auditorium
CPP-201716:00 - 16:30
Talk
Guillaume AllaisRadboud University Nijmegen, James Chapman, Conor McBride, James McKinnaUniversity of Edinburgh
CPP-201716:30 - 17:00
Talk
CPP-201717:00 - 17:30
Talk