ientifiques 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 Lo
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
e Church-Turing 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
ientifiques 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
IHP
-- 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
ortail du
CNRS. La 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
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
): « Mathematical
explanations: 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
ivre cette annonce à celles et 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/actua
e Darrin (L2S, CNRS, CentraleSupélec, Univ.
Paris-Saclay), /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
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
on d'algorithme au croisement de la logique, de l'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.pantheo
l les applications de techniques computationnelles 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
en cordialement,
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
dirigée par M. Paolo 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
/, 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 pu
ST[1],
13 rue 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
expressive 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
; Karolinski Institute), "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
gence: 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é Par
y theory"
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
Pe
correspondances: 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 Li
22 matches
Mail list logo