POPL 2017
Sun 15 - Sat 21 January 2017
Mon 16 Jan 2017 10:30 - 11:00 at Auditorium - Algorithm and library verification