Actualités 3 juillet 2013 Le Laboratoire d’informatique formelle obtient un soutien de plus de 300 000 $