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