POPL 2017
Sun 15 - Sat 21 January 2017

Tue 17 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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