Write a Blog >>
Sat 23 Jan 2016 15:00 - 15:25 at Room St Petersburg III - Session III

Sat 23 Jan

CoqPL-2016-main
14:00 - 15:25: CoqPL - Session III at Room St Petersburg III
CoqPL-2016-main14:00 - 15:00
Talk
Chung-Kil HurSeoul National University
CoqPL-2016-main15:00 - 15:25
Talk
Marek MaterzokUniversity of Wroclaw
Link to publication