Deuxième workshop International « Inférences et démonstrations »
9:00
-
17:15
Université d'Aix-Marseille -Faculté de Lettres 29, Avenue Robert Schuman 13621 Aix-en-Provence
Le Centre Gilles Gaston Granger organise le 17 décembre 2019 le Wokshop Inferences and proofs 2.
Ce workshop se présente comme la prosecution de celui intitulé Inférences et Démonstrations, qui s’est tenu à Marseille du 31 Mai au 1er Juin 2016 - et qui a ensuite produit le numéro special Inferences and Proofs de TOPOI, édité par les organisateurs Gabriella Crocco et Antonio Piccolomini d’Aragona.
En posant à peu près les mêmes questions que son prédécesseur, Inférences et Démonstrations 2 est néanmoins enrichi par les résultats achevés pendant les derniers trois ans.