Introduction de la journée hommage de l'AfIA à Jacques PITRAT <br />organisée le 6 Mars 2020 au CICSU Sorbonne Université ( <br />https://afia.asso.fr/journee-hommage-j-pitrat/) <br /> <br />Intervention de Dominique Pastre (U. Paris Descartes honoraire) : « Démonstration automatique, métathéorèmes, connaissances déclaratives »
