4 avril 2011
CLEARSY participe au workshop AI4FM 2011, qui aura lieu les 28 et 29 Avril 2011 à l’université d’Edinburgh.
L’objectif du projet AI4FM est d’introduire des techniques d’Intelligence Artificielle afin d’optimiser la démonstration automatique de modèles mathématiques.
Thierry Lecomte, en tant que conférencier invité, présentera « Yet Another Theorem Prover in Distress ».