IRIF
@irif-paris.bsky.social
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.
The research conducted at IRIF is based on the study and understanding of the foundations of all computer science.
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...
🫵 Venez nombreux !
📅 01/04
⏰ 16h30-18h30
🔗 www.informatique.univ-paris-diderot.fr/ufr/conferen...
March 19, 2025 at 2:26 PM
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...
🫵 Venez nombreux !
📅 01/04
⏰ 16h30-18h30
🔗 www.informatique.univ-paris-diderot.fr/ufr/conferen...
🔍 🤔 “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
🎙️ 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
March 14, 2025 at 12:45 PM
🔍 🤔 “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
🎙️ 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’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
🔎 Le @cnrs.fr lance sa consultation citoyenne. 🗳️ Votre avis compte ! 👉 consultation-maths.fr
March 11, 2025 at 9:30 AM
📉 𝐒𝐚𝐧𝐬 𝐦𝐚𝐭𝐡𝐞́𝐦𝐚𝐭𝐢𝐪𝐮𝐞𝐬, 𝐩𝐚𝐬 𝐝’𝐢𝐧𝐟𝐨𝐫𝐦𝐚𝐭𝐢𝐪𝐮𝐞 ! 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
🔎 Le @cnrs.fr lance sa consultation citoyenne. 🗳️ Votre avis compte ! 👉 consultation-maths.fr
🗣️ For the 3rd Paris ACTS, the speakers will be Laetitia Laversa (IRIF, @upcite.bsky.social) who will speak 𝘈𝘣𝘰𝘶𝘵 𝘵𝘩𝘦 𝘬-𝘴𝘺𝘯𝘤𝘩𝘳𝘰𝘯𝘪𝘻𝘢𝘣𝘪𝘭𝘪𝘵𝘺 𝘰𝘧 𝘤𝘰𝘮𝘮𝘶𝘯𝘪𝘤𝘢𝘵𝘪𝘯𝘨 𝘢𝘶𝘵𝘰𝘮𝘢𝘵𝘢 and Glynn Winskel (Queen Mary Univ. of London) who will speak about 𝘍𝘳𝘰𝘮 𝘊𝘰𝘯𝘤𝘶𝘳𝘳𝘦𝘯𝘵 𝘎𝘢𝘮𝘦𝘴 𝘵𝘰 𝘎𝘰̈𝘥𝘦𝘭'𝘴 𝘋𝘪𝘢𝘭𝘦𝘤𝘵𝘪𝘤𝘢 𝘐𝘯𝘵𝘦𝘳𝘱𝘳𝘦𝘵𝘢𝘵𝘪𝘰𝘯.
Join us!
Join us!
January 23, 2025 at 10:23 AM
🗣️ For the 3rd Paris ACTS, the speakers will be Laetitia Laversa (IRIF, @upcite.bsky.social) who will speak 𝘈𝘣𝘰𝘶𝘵 𝘵𝘩𝘦 𝘬-𝘴𝘺𝘯𝘤𝘩𝘳𝘰𝘯𝘪𝘻𝘢𝘣𝘪𝘭𝘪𝘵𝘺 𝘰𝘧 𝘤𝘰𝘮𝘮𝘶𝘯𝘪𝘤𝘢𝘵𝘪𝘯𝘨 𝘢𝘶𝘵𝘰𝘮𝘢𝘵𝘢 and Glynn Winskel (Queen Mary Univ. of London) who will speak about 𝘍𝘳𝘰𝘮 𝘊𝘰𝘯𝘤𝘶𝘳𝘳𝘦𝘯𝘵 𝘎𝘢𝘮𝘦𝘴 𝘵𝘰 𝘎𝘰̈𝘥𝘦𝘭'𝘴 𝘋𝘪𝘢𝘭𝘦𝘤𝘵𝘪𝘤𝘢 𝘐𝘯𝘵𝘦𝘳𝘱𝘳𝘦𝘵𝘢𝘵𝘪𝘰𝘯.
Join us!
Join us!
IRIF wishes you a happy new year, filled with groundbreaking research discoveries, scientific achievements, and personal fulfillment! 🎉
January 6, 2025 at 3:26 PM
IRIF wishes you a happy new year, filled with groundbreaking research discoveries, scientific achievements, and personal fulfillment! 🎉