[Educasup] Séminaire Histoire et Philosophie de l'Informatique et du Calcul - 9 janvier 2019

2019-01-02 Par sujet Alberto Naibo
ve and computational power of typed lambda-calculus
" Pierre Valarcher (UPEC, IUT Sénart), "De la définition des algorithmes aux classes d’algorithmes

" Responsables: Liesbeth De Mol (CNRS, UMR 8163 STL, Université de Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-

[Educasup] Erratum: Séminaire Histoire et Philosophie de l'Informatique et du Calcul - 9 janvier 2019

2019-01-02 Par sujet Alberto Naibo
"What Machines, Uncomputable Functions, and Pervasive Universal Algorithms Can Tell Us About the World?
" Pierre Valarcher (UPEC, IUT Sénart), "De la définition des algorithmes aux classes d’algorithmes

" Responsables: Liesbeth De Mol (CNRS, UMR 8163 STL, Université de L

[Educasup] Prochaine séance séminaire HEPIC - 10 avril 2019, IHPST (Paris)

2019-04-04 Par sujet Alberto Naibo
: Experimentation in the artificial" 

Pour plus d'informations et pour le programme détaillé du séminaire, voir: https://calcul.hypotheses.org/programme-2018-2019

 Responsables: Liesbeth De Mol (CNRS, UMR 8163 STL, Université de Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panth

[Educasup] Prochaine séance séminaire HEPIC - 15 mai 2019, IHPST (Paris)

2019-05-10 Par sujet Alberto Naibo
uot; 

Pour plus d'informations et pour le programme détaillé du séminaire, voir: https://calcul.hypotheses.org/programme-2018-2019

 Responsables: Liesbeth De Mol (CNRS, UMR 8163 STL, Université de Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne), Maël Pegny (IHPST, Uni