Procope grant received

The ISP just acquired funding for maintaining its cooperation with the Université de Paris 7 (Diderot) and the LSV at the ENS Cachan. The grant provided by the DAAD supports our project LeMon in 2012 and 2013. The scope of Lemon is on learning monitors for reengineering applications.