AI4FM 2011

4 avril 2011

CLEARSY participe au workshop AI4FM 2011, qui aura lieu les 28 et 29 Avril 2011 à l’université d’Edinburgh (Plus d’informations…).

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 ».