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

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

"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)

: 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)

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

[Educasup] Prochaine séance séminaire HEPIC - 29 janvier 2020

espondances: constructivity and non-constructivity, determinism and non-determinism" 

Pour plus d'informations et pour le programme détaillé du séminaire, voir: https://calcul.hypotheses.org/programme-2019-2020 Responsables: Liesbeth de Mol (CNRS, UMR 8163 STL, Université de Lille 3),

[Educasup] Appel à candidature poste stagiaire - Projet AIAS

s et sociaux de l'intelligence artificielle", lancé par la "Mission pour les initiatives transverses et interdisciplinaires" (MITI). N'hésitez pas à faire passer cette annonce aux éventuels intéressés. Bien cordialement, Alberto Naibo Maître de conférences en Logique IHPST (UMR 859

[Educasup] Colloque "Doing Science in the Age of Artificial Intelligence"

r Marco Panza (IHPST, UMR 8590) et financé par la MITI[1] du CNRS. Le colloque aura lieu en distanciel. Le programme et les liens Zoom pour assister au colloque sont disponibles ici: https://scai.sorbonne-universite.fr/public/events/view/550617451f1e06ee0093/5 Bien cordialement, Alberto Naib

[Educasup] Appel à candidature poste stagiaire - Projet AIAS

s et sociaux de l'intelligence artificielle", lancé par la "Mission pour les initiatives transverses et interdisciplinaires" (MITI). N'hésitez pas à faire passer cette annonce aux éventuels intéressés. Bien cordialement, Alberto Naibo Maître de conférences en Logique IHPST (UMR 8590) Univer

[Educasup] Postdoc au sein du projet ANR GoA - La géométrie des algorithmes

-- No attachments (even text) are allowed -- -- Type: text/plain -- Desc: Message en texte brut -- No attachments (even text) are allowed -- -- Type: application/pdf -- File: Postdoc GoA.pdf -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html

[Educasup] Postdoc au sein du projet ANR GoA - La géométrie des algorithmes

date limite est le 15 juin 2021. Pour plus d'informations, les candidats peuvent me contacter directement à l'adresse: alberto.na...@univ-paris1.fr N'hésitez pas à relayer l'information. Bien cordialement, Alberto Naibo -- -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html

[Educasup] Poste stagiaire au sein du projet AIAS - Report date limite dépôt de candidature

ire passer l’information aux éventuels intéressés. Bien cordialement, Alberto Naibo Maître de conférences en Logique IHPST (UMR 8590) Université Paris 1 Panthéon-Sorbonne ** Appel à candidature pour un poste de stagiaire au sein du projet « Artificial Intelligence an

[Educasup] Atelier EXPRESS-IHPST : Truth, proof and communication, 21-22 juin 2021

: a rigorous analysis via proofs and complexity » La participation est libre et ouverte à tous. Pour s'enregistrer et obtenir les liens de connexion Zoom, nous vous prions de remplir le formulaire qui se trouve ici[3]. Bien cordialement, Luca Incurvati, Alberto Naibo et Francesca Poggiolesi   Liens

[Educasup] Prochaine séance séminaire "Histoire et Philosophie de l'Informatique et du Calcul" - "The Church-Turing thesis: old and new perspectives"

thesis" Oron Shagrir (The Hebrew University of Jerusalem), "The Church Turing theses" Les résumés des interventions, ainsi que le programme complet du séminaire, sont disponibles ici : https://calcul.hypotheses.org/programme-2020-2021 Responsables : Liesbeth de Mol (CNRS,

[Educasup] Offre de stage - Chaire d'Excellence Blaise Pascal - M. Paolo Mancosu

ceux qui pourraient être intéressé.e.s.   Pour plus d'informations, vous pouvez m'écrire à cette adresse mail: alberto.na...@univ-paris1.fr   Bien cordialement, Alberto Naibo Liens: -- [1] https://philosophie.pantheonsorbonne.fr/actualite/paolo-mancosu-laureat-chaire-blaise

[Educasup] Atelier "Definitions of algorithms: from logic to law", IHPST, Paris, 10 et 11 décembre

 /Robustness of AI: what definitions for a proper regulation/ 12h15 - 14h00 : pause déjeuner 14h00 - 15h00 :  Edwige Cyffers (INRIA), /The quantification of privacy in machine learning/ 15h00 - 15h15 : pause 15h15 - 16h15 : Régis Ponsard (Univ. Reims), /TBA/ 16h15 - 16h45 : discussion générale Bi

[Educasup] Atelier « Computational approaches to law » - 21 mars 2022

venant de l'informatique dans le domaine du droit.  Bien cordialement, Alberto Naibo (Univ. Paris 1, IHPST), Maël Pégny (Univ. Tübingen), Célia Zolynski (Univ. Paris 1, IRJS) Liens: -- [1] https://anr.fr/Project-ANR-20-CE27-0004 [2] https://ihpst.pantheonsorbonne.fr [3] https

[Educasup] Fwd: Atelier « Computational approaches to law » - 21 mars 2022

rdialement, Alberto Naibo  - Message transféré de Alberto Naibo - Date: Thu, 17 Mar 2022 23:52:07 +0100    De: Alberto Naibo Objet: Atelier « Computational approaches to law » - 21 mars 2022     À: educasup.philo@ml.free.fr Chères et chers collègues,  Nous avons le plaisir de vous

[Educasup] Offre de stagiaire - Chaire d'Excellence Blaise Pascal - M. Paolo Mancosu

Mancosu. N'hésitez pas à faire passer cette annonce aux éventuels intéressés. Bien cordialement, Alberto Naibo --- Appel à candidature pour un poste de stagiaire au sein Chaire d'Excellence Blaise Pascal « Histoire et philosophie de l'infini mathématique » TYPE DE

[Educasup] 9ème École Thématique du GDR PhilMath - "Computation et algorithmes : anciens et nouveaux enjeux pour la philosophie des mathématiques"

ux pour la philosophie des mathématiques ». Elle aura lieu au Centre Culturel de Rencontres en Forez (Château de Goutelas[2]), DU 27 JUIN AU 1ER JUILLET 2022. Cette édition de l'école thématique est organisée par Jean-Baptiste Joinet et Alberto Naibo, avec le soutien du projet AN

[Educasup] Atelier « Definition of AI » - 14 février 2022

informatique et du droit.  Bien cordialement, Alberto Naibo (Univ. Paris 1, IHPST), Maël Pégny (Univ. Tübingen), Célia Zolynski (Univ. Paris 1, IRJS) Liens: -- [1] https://anr.fr/Project-ANR-20-CE27-0004 [2] https://ihpst.pantheonsorbonne.fr [3] https://irjs.pantheonsorbonne.fr/linstitu

[Educasup] Demi-journée d'études autour de l'Anthologie de la calculabilité

/, dirigée par Michel Bourdeau et Jean Mosconi.   Bien cordialement, Alberto Naibo   ---   Le prodigieux essor de l’informatique aurait été impossible sans les théories du calcul élaborées par les logiciens. C'est pourquoi les éditions Cassini ont entrepris de publier

[Educasup] "Philosophical and historical perspectives on computation and physics", 30-31 mai 2022

du Four, 75006, Paris).  Un lien Zoom est aussi disponible pour qui souhaite suivre l'atelier en distanciel. Bien cordialement, Alberto Naibo - 30 MAI (IHPST, salle de conférences, 2ème étage)   15h00 : Présentation de l’atelier    15h15 - 16h15: Marie-José Durand Richard