IRIF is a research laboratory of CNRS and Université Paris Cité, also hosting one Inria project-team.
The research conducted at IRIF is based on the study and understanding of the foundations of all computer science.
IRIF
Loading...
🏫 L'EPIT 2025 (École de Printemps d'Informatique Théorique du #CNRS) co-organisée par Alexis Saurin (IRIF) a lieu au Centre Paul-Langevin
💻 Sur Le raisonnement (co)inductif & circulaire appliqué à la #programmation, la preuve formelle et la vérification logicielle
➡️ Retrouvez les contenus des cours
"J'ai choisi de revenir en France et de rejoindre le @CNRS, car j'y trouve une activité scientifique riche dans mon domaine et un environnement idéal pour faire de la recherche."
Giannos Stamoulis, chargé de recherche à @irif-paris.bsky.social
➡️ buff.ly/84RP6vS
🤝 @cnrs-idf-villejuif.bsky.social
⏰ Jeudi 13 mars 2025, 18 h
#Science #Mathématiques
"La théorie des types, de Russell aux assistants à la démonstration"
📌 Leçon inaugurale de Thierry Coquand, professeur invité sur la chaire #Informatique et sciences numériques, en partenariat avec Inria.
👉 www.college-de-france.fr/fr/agenda/le...
#PodcastCNRS 🎧 « Mes travaux visent à protéger la vie privée. » Geoffroy Couteau, explique pourquoi le calcul sécurisé est la clé pour garantir la confidentialité des données en ligne dans cet épisode de "Qu’est-ce que tu cherches ?"
👉 smartlink.ausha.co/cnrs-qu-est-...
#Distinction 🏆| Des scientifiques récompensés pour leurs travaux entre #mathématiques et #logiciels.
➡️ https://buff.ly/3EYvtQ8
🤝 @irif-paris.bsky.social @labo-loria.bsky.social #Ljad @cnrs-idf-villejuif.bsky.social #CNRS_Centre_Est
Video
📉 𝐒𝐚𝐧𝐬 𝐦𝐚𝐭𝐡𝐞́𝐦𝐚𝐭𝐢𝐪𝐮𝐞𝐬, 𝐩𝐚𝐬 𝐝’𝐢𝐧𝐟𝐨𝐫𝐦𝐚𝐭𝐢𝐪𝐮𝐞 ! L’informatique fondamentale repose sur les #maths, qui souffrent d’un désintérêt croissant chez les étudiants. Le niveau diminue et les inégalités se creusent.
🔎 Le @cnrs.fr lance sa consultation citoyenne. 🗳️ Votre avis compte ! 👉 consultation-maths.fr
🎉 👏 Congratulations to Florian Horn, co-author of "𝑅𝑒𝑣𝑒𝑙𝑎𝑡𝑖𝑜𝑛𝑠: 𝐴 𝐷𝑒𝑐𝑖𝑑𝑎𝑏𝑙𝑒 𝐶𝑙𝑎𝑠𝑠 𝑜𝑓 𝑃𝑂𝑀𝐷𝑃𝑠 𝑤𝑖𝑡ℎ 𝑂𝑚𝑒𝑔𝑎-𝑅𝑒𝑔𝑢𝑙𝑎𝑟 𝑂𝑏𝑗𝑒𝑐𝑡𝑖𝑣𝑒𝑠", a paper awarded the “Outstanding Paper Awards” at AAAI 2025.
🔗 aihub.org/2025/03/01/c...
🔍 🤔 “Qu'est ce que tu cherches ?”
🎙️ Geoffroy Couteau était l'invité du 3e épisode du #podcast du @cnrsinformatics.bsky.social pour parler de protection des données privées via les calculs et les protocoles sécurisés.
🔗 (Ré)Écoutez cet épisode : podcast.ausha.co/cnrs-qu-est-...
#data #privacy
L'UFR d'informatique de l'@upcite.bsky.social organise une nouvelle conférence "On éteint 📴 , on réfléchit 🧠 , on discute 🗣️" sur "𝐋𝐞 𝐦𝐨𝐧𝐝𝐞 𝐦𝐞𝐫𝐯𝐞𝐢𝐥𝐥𝐞𝐮𝐱 𝐝𝐞𝐬 𝐬𝐭𝐚𝐫𝐭-𝐮𝐩" avec Marion Flécher et Jean Krivine.
🫵 Venez nombreux !
📅 01/04
⏰ 16h30-18h30
🔗 www.informatique.univ-paris-diderot.fr/ufr/conferen...
Bluesky j'ai besoin de toi !
Pour @pintofsciencefr.bsky.social un truc qui me tient vraiment à cœur est d'amener le festival dans les villages, loin des grandes villes.
Le souci ? On ne trouve pas toujours de scientifiques pour participer.
Quelqu'un.e dans le coin de Bonnes (16390) ?
