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