Monthly Archives: October, 2008

22 October 2008
Bob Harper gives seminar on Mechanizing Metatheory using Twelf
Wednesday 22 October 2008, 11h, batiment I, 1er étage Mechanizing the Metatheory of Programming Languages Bob Harper Carnegie-Mellon University Program verification is difficult, and remains a task for specialists. One way to bring ...
15 October 2008
2nd meeting of Management Committee in 2008
15 October, MSR-INRIA Joint Centre, Orsay