AI4FM 2011

21 July 2020

CLEARSY is taking part in the AI4FM 2011 workshop, which will be held on 28 and 29 April 2011 at Edinburgh university.

The aim of the AI4FM project is to introduce some Artificial Intelligence techniques in order to optimise the automatic demonstration of mathematic models.

As guest speaker, Thierry Lecomte will present “Yet Another Theorem Prover in Distress“.