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

Mon 16 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change