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.
Reposted by IRIF
"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
Giannos Stamoulis, chargé de recherche à @irif-paris.bsky.social
➡️ buff.ly/84RP6vS
🤝 @cnrs-idf-villejuif.bsky.social
May 26, 2025 at 8:01 AM
"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
Giannos Stamoulis, chargé de recherche à @irif-paris.bsky.social
➡️ buff.ly/84RP6vS
🤝 @cnrs-idf-villejuif.bsky.social
🏫 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
💻 Sur Le raisonnement (co)inductif & circulaire appliqué à la #programmation, la preuve formelle et la vérification logicielle
➡️ Retrouvez les contenus des cours
École de Printemps d'Informatique Théorique 2025 - Sciencesconf.org
epit2025.sciencesconf.org
May 22, 2025 at 8:14 AM
🏫 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
💻 Sur Le raisonnement (co)inductif & circulaire appliqué à la #programmation, la preuve formelle et la vérification logicielle
➡️ Retrouvez les contenus des cours
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
Reposted by IRIF
⏰ 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...
#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...
March 11, 2025 at 3:04 PM
⏰ 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...
#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...
📉 𝐒𝐚𝐧𝐬 𝐦𝐚𝐭𝐡𝐞́𝐦𝐚𝐭𝐢𝐪𝐮𝐞𝐬, 𝐩𝐚𝐬 𝐝’𝐢𝐧𝐟𝐨𝐫𝐦𝐚𝐭𝐢𝐪𝐮𝐞 ! 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
🎉 👏 Congratulations to Florian Horn, co-author of "𝑅𝑒𝑣𝑒𝑙𝑎𝑡𝑖𝑜𝑛𝑠: 𝐴 𝐷𝑒𝑐𝑖𝑑𝑎𝑏𝑙𝑒 𝐶𝑙𝑎𝑠𝑠 𝑜𝑓 𝑃𝑂𝑀𝐷𝑃𝑠 𝑤𝑖𝑡ℎ 𝑂𝑚𝑒𝑔𝑎-𝑅𝑒𝑔𝑢𝑙𝑎𝑟 𝑂𝑏𝑗𝑒𝑐𝑡𝑖𝑣𝑒𝑠", a paper awarded the “Outstanding Paper Awards” at AAAI 2025.
🔗 aihub.org/2025/03/01/c...
🔗 aihub.org/2025/03/01/c...
Congratulations to the #AAAI2025 outstanding paper award winners - ΑΙhub
aihub.org
March 10, 2025 at 8:54 AM
🎉 👏 Congratulations to Florian Horn, co-author of "𝑅𝑒𝑣𝑒𝑙𝑎𝑡𝑖𝑜𝑛𝑠: 𝐴 𝐷𝑒𝑐𝑖𝑑𝑎𝑏𝑙𝑒 𝐶𝑙𝑎𝑠𝑠 𝑜𝑓 𝑃𝑂𝑀𝐷𝑃𝑠 𝑤𝑖𝑡ℎ 𝑂𝑚𝑒𝑔𝑎-𝑅𝑒𝑔𝑢𝑙𝑎𝑟 𝑂𝑏𝑗𝑒𝑐𝑡𝑖𝑣𝑒𝑠", a paper awarded the “Outstanding Paper Awards” at AAAI 2025.
🔗 aihub.org/2025/03/01/c...
🔗 aihub.org/2025/03/01/c...
Reposted by IRIF
#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-...
👉 smartlink.ausha.co/cnrs-qu-est-...
March 7, 2025 at 9:11 AM
#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-...
👉 smartlink.ausha.co/cnrs-qu-est-...
Reposted by IRIF
#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
➡️ https://buff.ly/3EYvtQ8
🤝 @irif-paris.bsky.social @labo-loria.bsky.social #Ljad @cnrs-idf-villejuif.bsky.social #CNRS_Centre_Est
February 26, 2025 at 9:00 AM
#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
➡️ https://buff.ly/3EYvtQ8
🤝 @irif-paris.bsky.social @labo-loria.bsky.social #Ljad @cnrs-idf-villejuif.bsky.social #CNRS_Centre_Est
Reposted by IRIF
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) ?
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) ?
a cartoon of a cat asking for please
ALT: a cartoon of a cat asking for please
media.tenor.com
February 24, 2025 at 10:06 AM
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) ?
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) ?
Reposted by IRIF
Ce soir dans 28 Minutes sur Arte, Françoise Combes, présidente de l’Académie des sciences, sera l’invitée d’Élisabeth Quin !
📺 Rendez-vous à 20h05 sur Arte
> www.arte.tv/fr/videos/RC...
@artefr.bsky.social
@collegedefrance.bsky.social
@cnrs.fr
@obs-paris-psl.bsky.social
📺 Rendez-vous à 20h05 sur Arte
> www.arte.tv/fr/videos/RC...
@artefr.bsky.social
@collegedefrance.bsky.social
@cnrs.fr
@obs-paris-psl.bsky.social
February 24, 2025 at 8:58 AM
Ce soir dans 28 Minutes sur Arte, Françoise Combes, présidente de l’Académie des sciences, sera l’invitée d’Élisabeth Quin !
📺 Rendez-vous à 20h05 sur Arte
> www.arte.tv/fr/videos/RC...
@artefr.bsky.social
@collegedefrance.bsky.social
@cnrs.fr
@obs-paris-psl.bsky.social
📺 Rendez-vous à 20h05 sur Arte
> www.arte.tv/fr/videos/RC...
@artefr.bsky.social
@collegedefrance.bsky.social
@cnrs.fr
@obs-paris-psl.bsky.social
[ 💻 ⚛️ - IA et technologies quantiques : un duo d’avenir pour la finance ?]
L’IA et le quantique peuvent-ils s’associer pour prédire les marchés financiers ? La start-up Quantum Signals en est convaincue. 💡
🔗 www.cnrsinnovation.com/actualite/qu...
Un article réalisé par Martin Koppe.
L’IA et le quantique peuvent-ils s’associer pour prédire les marchés financiers ? La start-up Quantum Signals en est convaincue. 💡
🔗 www.cnrsinnovation.com/actualite/qu...
Un article réalisé par Martin Koppe.
Quantum Signals : l’IA et le quantique face aux marchés financiers
Les intelligences artificielle et quantique sont combinées chez Quantum Signals pour prédire l’évolution à court terme des marchés financiers. Iordanis Kerenidis, CTO, cofondateur de la start-up et di...
www.cnrsinnovation.com
February 20, 2025 at 4:21 PM
[ 💻 ⚛️ - IA et technologies quantiques : un duo d’avenir pour la finance ?]
L’IA et le quantique peuvent-ils s’associer pour prédire les marchés financiers ? La start-up Quantum Signals en est convaincue. 💡
🔗 www.cnrsinnovation.com/actualite/qu...
Un article réalisé par Martin Koppe.
L’IA et le quantique peuvent-ils s’associer pour prédire les marchés financiers ? La start-up Quantum Signals en est convaincue. 💡
🔗 www.cnrsinnovation.com/actualite/qu...
Un article réalisé par Martin Koppe.
Reposted by IRIF
#Distinction 🏆| Une bourse @erc.europa.eu Synergy qui s'intéresse à la vérification #automatique des théorèmes sans avoir à les réécrire.
➡️ https://buff.ly/3EYvtQ8
🤝 @irif-paris.bsky.social @labo-loria.bsky.social #Ljad @cnrs-idf-villejuif.bsky.social #CNRS_Centre_Est
➡️ https://buff.ly/3EYvtQ8
🤝 @irif-paris.bsky.social @labo-loria.bsky.social #Ljad @cnrs-idf-villejuif.bsky.social #CNRS_Centre_Est
February 20, 2025 at 10:30 AM
#Distinction 🏆| Une bourse @erc.europa.eu Synergy qui s'intéresse à la vérification #automatique des théorèmes sans avoir à les réécrire.
➡️ https://buff.ly/3EYvtQ8
🤝 @irif-paris.bsky.social @labo-loria.bsky.social #Ljad @cnrs-idf-villejuif.bsky.social #CNRS_Centre_Est
➡️ https://buff.ly/3EYvtQ8
🤝 @irif-paris.bsky.social @labo-loria.bsky.social #Ljad @cnrs-idf-villejuif.bsky.social #CNRS_Centre_Est
[🎥 - CNRS Flash'Opti]
For the CNRS conference titled 𝑂𝑝𝑡𝑖𝑚𝑖𝑧𝑎𝑡𝑖𝑜𝑛, 𝑎𝑡 𝑡ℎ𝑒 𝑐𝑜𝑟𝑒 𝑜𝑓 𝑡ℎ𝑒 𝑐ℎ𝑎𝑙𝑙𝑒𝑛𝑔𝑒𝑠 𝑜𝑓 𝑐𝑜𝑚𝑝𝑢𝑡𝑒𝑟 𝑠𝑐𝑖𝑒𝑛𝑐𝑒, Simon Apers, a CNRS Research Scientist at IRIF delivered a three-minute Flash'Opti presentation about how quantum algorithm can help optimisation.
🔗 www.youtube.com/watch?v=DSKL...
For the CNRS conference titled 𝑂𝑝𝑡𝑖𝑚𝑖𝑧𝑎𝑡𝑖𝑜𝑛, 𝑎𝑡 𝑡ℎ𝑒 𝑐𝑜𝑟𝑒 𝑜𝑓 𝑡ℎ𝑒 𝑐ℎ𝑎𝑙𝑙𝑒𝑛𝑔𝑒𝑠 𝑜𝑓 𝑐𝑜𝑚𝑝𝑢𝑡𝑒𝑟 𝑠𝑐𝑖𝑒𝑛𝑐𝑒, Simon Apers, a CNRS Research Scientist at IRIF delivered a three-minute Flash'Opti presentation about how quantum algorithm can help optimisation.
🔗 www.youtube.com/watch?v=DSKL...
www.youtube.com
February 18, 2025 at 1:04 PM
[🎥 - CNRS Flash'Opti]
For the CNRS conference titled 𝑂𝑝𝑡𝑖𝑚𝑖𝑧𝑎𝑡𝑖𝑜𝑛, 𝑎𝑡 𝑡ℎ𝑒 𝑐𝑜𝑟𝑒 𝑜𝑓 𝑡ℎ𝑒 𝑐ℎ𝑎𝑙𝑙𝑒𝑛𝑔𝑒𝑠 𝑜𝑓 𝑐𝑜𝑚𝑝𝑢𝑡𝑒𝑟 𝑠𝑐𝑖𝑒𝑛𝑐𝑒, Simon Apers, a CNRS Research Scientist at IRIF delivered a three-minute Flash'Opti presentation about how quantum algorithm can help optimisation.
🔗 www.youtube.com/watch?v=DSKL...
For the CNRS conference titled 𝑂𝑝𝑡𝑖𝑚𝑖𝑧𝑎𝑡𝑖𝑜𝑛, 𝑎𝑡 𝑡ℎ𝑒 𝑐𝑜𝑟𝑒 𝑜𝑓 𝑡ℎ𝑒 𝑐ℎ𝑎𝑙𝑙𝑒𝑛𝑔𝑒𝑠 𝑜𝑓 𝑐𝑜𝑚𝑝𝑢𝑡𝑒𝑟 𝑠𝑐𝑖𝑒𝑛𝑐𝑒, Simon Apers, a CNRS Research Scientist at IRIF delivered a three-minute Flash'Opti presentation about how quantum algorithm can help optimisation.
🔗 www.youtube.com/watch?v=DSKL...
🔬✨ La vulgarisation scientifique, pour tous les âges !
Sophie Laplante, professeure à l'IRIF, a contribué au numéro 425 de Science&Vie, qui consacre un article au quantique. Après une BD introductive, place aux explications pour mieux comprendre l’ordinateur #quantique et démystifier ses promesses.
Sophie Laplante, professeure à l'IRIF, a contribué au numéro 425 de Science&Vie, qui consacre un article au quantique. Après une BD introductive, place aux explications pour mieux comprendre l’ordinateur #quantique et démystifier ses promesses.
February 17, 2025 at 4:08 PM
🔬✨ La vulgarisation scientifique, pour tous les âges !
Sophie Laplante, professeure à l'IRIF, a contribué au numéro 425 de Science&Vie, qui consacre un article au quantique. Après une BD introductive, place aux explications pour mieux comprendre l’ordinateur #quantique et démystifier ses promesses.
Sophie Laplante, professeure à l'IRIF, a contribué au numéro 425 de Science&Vie, qui consacre un article au quantique. Après une BD introductive, place aux explications pour mieux comprendre l’ordinateur #quantique et démystifier ses promesses.
🎉 👏 Congratulations to the Niklas Kochdumper, Mohammed Foughali, Peter Habermehl and Eugene Asarin, IRIF members, whose paper has been accepted to HSCC 2025 conference.
📰 Their paper is titled: 𝑹𝒐𝒃𝒖𝒔𝒕 𝑰𝒅𝒆𝒏𝒕𝒊𝒇𝒊𝒄𝒂𝒕𝒊𝒐𝒏 𝒐𝒇 𝑯𝒚𝒃𝒓𝒊𝒅 𝑨𝒖𝒕𝒐𝒎𝒂𝒕𝒂 𝒇𝒓𝒐𝒎 𝑵𝒐𝒊𝒔𝒚 𝑫𝒂𝒕𝒂.
🔗 hscc.acm.org/2025/accepte...
📰 Their paper is titled: 𝑹𝒐𝒃𝒖𝒔𝒕 𝑰𝒅𝒆𝒏𝒕𝒊𝒇𝒊𝒄𝒂𝒕𝒊𝒐𝒏 𝒐𝒇 𝑯𝒚𝒃𝒓𝒊𝒅 𝑨𝒖𝒕𝒐𝒎𝒂𝒕𝒂 𝒇𝒓𝒐𝒎 𝑵𝒐𝒊𝒔𝒚 𝑫𝒂𝒕𝒂.
🔗 hscc.acm.org/2025/accepte...
Accepted Papers – HSCC 2025
hscc.acm.org
February 13, 2025 at 4:43 PM
🎉 👏 Congratulations to the Niklas Kochdumper, Mohammed Foughali, Peter Habermehl and Eugene Asarin, IRIF members, whose paper has been accepted to HSCC 2025 conference.
📰 Their paper is titled: 𝑹𝒐𝒃𝒖𝒔𝒕 𝑰𝒅𝒆𝒏𝒕𝒊𝒇𝒊𝒄𝒂𝒕𝒊𝒐𝒏 𝒐𝒇 𝑯𝒚𝒃𝒓𝒊𝒅 𝑨𝒖𝒕𝒐𝒎𝒂𝒕𝒂 𝒇𝒓𝒐𝒎 𝑵𝒐𝒊𝒔𝒚 𝑫𝒂𝒕𝒂.
🔗 hscc.acm.org/2025/accepte...
📰 Their paper is titled: 𝑹𝒐𝒃𝒖𝒔𝒕 𝑰𝒅𝒆𝒏𝒕𝒊𝒇𝒊𝒄𝒂𝒕𝒊𝒐𝒏 𝒐𝒇 𝑯𝒚𝒃𝒓𝒊𝒅 𝑨𝒖𝒕𝒐𝒎𝒂𝒕𝒂 𝒇𝒓𝒐𝒎 𝑵𝒐𝒊𝒔𝒚 𝑫𝒂𝒕𝒂.
🔗 hscc.acm.org/2025/accepte...
Reposted by IRIF
🔴 Le 13/2 à 16h30, suivez en direct du #ParisSaclaySummit l'intervention d'Alain Aspect, directeur de recherche émérite au #CNRS et Prix Nobel de Physique 2022, sur la théorie #quantique.
👉 www.youtube.com/live/X30l5Xe...
#TalentsCNRS
👉 www.youtube.com/live/X30l5Xe...
#TalentsCNRS
February 13, 2025 at 1:10 PM
🔴 Le 13/2 à 16h30, suivez en direct du #ParisSaclaySummit l'intervention d'Alain Aspect, directeur de recherche émérite au #CNRS et Prix Nobel de Physique 2022, sur la théorie #quantique.
👉 www.youtube.com/live/X30l5Xe...
#TalentsCNRS
👉 www.youtube.com/live/X30l5Xe...
#TalentsCNRS
♀️👵 The blog you didn’t know you needed in your life is definitely Grandma Got STEM. #ggstem
In this blog, you’ll find portraits of many women in STEM —some you might know, others you might not.
✨ It highlights and gives visibility to the work and impact of women scientists.
ggstem.wordpress.com
In this blog, you’ll find portraits of many women in STEM —some you might know, others you might not.
✨ It highlights and gives visibility to the work and impact of women scientists.
ggstem.wordpress.com
Grandma Got STEM
Science, Technology, Engineering, Mathematics (+more!).
ggstem.wordpress.com
February 11, 2025 at 3:05 PM
♀️👵 The blog you didn’t know you needed in your life is definitely Grandma Got STEM. #ggstem
In this blog, you’ll find portraits of many women in STEM —some you might know, others you might not.
✨ It highlights and gives visibility to the work and impact of women scientists.
ggstem.wordpress.com
In this blog, you’ll find portraits of many women in STEM —some you might know, others you might not.
✨ It highlights and gives visibility to the work and impact of women scientists.
ggstem.wordpress.com
Reposted by IRIF
🔬✨ Journée des Femmes et des filles de science✨🔬
À travers leurs parcours inspirants et leurs engagements, les académiciennes, et toutes les femmes et filles de science façonnent la recherche d’aujourd’hui et de demain.
Pour aller plus loin : urls.fr/PK5xg9
À travers leurs parcours inspirants et leurs engagements, les académiciennes, et toutes les femmes et filles de science façonnent la recherche d’aujourd’hui et de demain.
Pour aller plus loin : urls.fr/PK5xg9
urls.fr
February 11, 2025 at 9:05 AM
🔬✨ Journée des Femmes et des filles de science✨🔬
À travers leurs parcours inspirants et leurs engagements, les académiciennes, et toutes les femmes et filles de science façonnent la recherche d’aujourd’hui et de demain.
Pour aller plus loin : urls.fr/PK5xg9
À travers leurs parcours inspirants et leurs engagements, les académiciennes, et toutes les femmes et filles de science façonnent la recherche d’aujourd’hui et de demain.
Pour aller plus loin : urls.fr/PK5xg9
Reposted by IRIF
👩🔬 À l'occasion de la Journée des femmes et des filles de science, Sorbonne Université tient à mettre à l'honneur ses étudiantes, diplômées, chercheuses et enseignantes-chercheuses exceptionnelles !
👉 (Re)découvrez leurs portraits : swll.to/iwnyf
#FemmesEnSciences #HelloESR
👉 (Re)découvrez leurs portraits : swll.to/iwnyf
#FemmesEnSciences #HelloESR
February 11, 2025 at 9:24 AM
👩🔬 À l'occasion de la Journée des femmes et des filles de science, Sorbonne Université tient à mettre à l'honneur ses étudiantes, diplômées, chercheuses et enseignantes-chercheuses exceptionnelles !
👉 (Re)découvrez leurs portraits : swll.to/iwnyf
#FemmesEnSciences #HelloESR
👉 (Re)découvrez leurs portraits : swll.to/iwnyf
#FemmesEnSciences #HelloESR
Reposted by IRIF
🌍 Pour la dixième édition de la Journée internationale des femmes et des filles de science, organisée par l’@unesco.org, découvrez le portrait de Pegah Pournajafi, #mathématicienne au Collège de France.
👉 www.college-de-france.fr/fr/actualite...
👉 www.college-de-france.fr/fr/actualite...
February 11, 2025 at 10:50 AM
🌍 Pour la dixième édition de la Journée internationale des femmes et des filles de science, organisée par l’@unesco.org, découvrez le portrait de Pegah Pournajafi, #mathématicienne au Collège de France.
👉 www.college-de-france.fr/fr/actualite...
👉 www.college-de-france.fr/fr/actualite...
[ ⚖️ - Women in #STEM]
✊ ♀️ Today marks the 𝟏𝟎𝐭𝐡 𝐈𝐧𝐭𝐞𝐫𝐧𝐚𝐭𝐢𝐨𝐧𝐚𝐥 𝐃𝐚𝐲 𝐨𝐟 #𝐖𝐨𝐦𝐞𝐧 𝐚𝐧𝐝 𝐆𝐢𝐫𝐥𝐬 𝐢𝐧 #𝐒𝐜𝐢𝐞𝐧𝐜𝐞.
🔬 This initiative, led by @onufrance.bsky.social Femmes and @unesco.org, highlights the 𝐩𝐞𝐫𝐬𝐢𝐬𝐭𝐞𝐧𝐭 𝐢𝐧𝐞𝐪𝐮𝐚𝐥𝐢𝐭𝐢𝐞𝐬 𝐢𝐧 𝐭𝐡𝐞 𝐬𝐜𝐢𝐞𝐧𝐭𝐢𝐟𝐢𝐜 𝐟𝐢𝐞𝐥𝐝.
✊ ♀️ Today marks the 𝟏𝟎𝐭𝐡 𝐈𝐧𝐭𝐞𝐫𝐧𝐚𝐭𝐢𝐨𝐧𝐚𝐥 𝐃𝐚𝐲 𝐨𝐟 #𝐖𝐨𝐦𝐞𝐧 𝐚𝐧𝐝 𝐆𝐢𝐫𝐥𝐬 𝐢𝐧 #𝐒𝐜𝐢𝐞𝐧𝐜𝐞.
🔬 This initiative, led by @onufrance.bsky.social Femmes and @unesco.org, highlights the 𝐩𝐞𝐫𝐬𝐢𝐬𝐭𝐞𝐧𝐭 𝐢𝐧𝐞𝐪𝐮𝐚𝐥𝐢𝐭𝐢𝐞𝐬 𝐢𝐧 𝐭𝐡𝐞 𝐬𝐜𝐢𝐞𝐧𝐭𝐢𝐟𝐢𝐜 𝐟𝐢𝐞𝐥𝐝.
a logo that says women in stem with a female symbol
ALT: a logo that says women in stem with a female symbol
media.tenor.com
February 11, 2025 at 12:52 PM
[ ⚖️ - Women in #STEM]
✊ ♀️ Today marks the 𝟏𝟎𝐭𝐡 𝐈𝐧𝐭𝐞𝐫𝐧𝐚𝐭𝐢𝐨𝐧𝐚𝐥 𝐃𝐚𝐲 𝐨𝐟 #𝐖𝐨𝐦𝐞𝐧 𝐚𝐧𝐝 𝐆𝐢𝐫𝐥𝐬 𝐢𝐧 #𝐒𝐜𝐢𝐞𝐧𝐜𝐞.
🔬 This initiative, led by @onufrance.bsky.social Femmes and @unesco.org, highlights the 𝐩𝐞𝐫𝐬𝐢𝐬𝐭𝐞𝐧𝐭 𝐢𝐧𝐞𝐪𝐮𝐚𝐥𝐢𝐭𝐢𝐞𝐬 𝐢𝐧 𝐭𝐡𝐞 𝐬𝐜𝐢𝐞𝐧𝐭𝐢𝐟𝐢𝐜 𝐟𝐢𝐞𝐥𝐝.
✊ ♀️ Today marks the 𝟏𝟎𝐭𝐡 𝐈𝐧𝐭𝐞𝐫𝐧𝐚𝐭𝐢𝐨𝐧𝐚𝐥 𝐃𝐚𝐲 𝐨𝐟 #𝐖𝐨𝐦𝐞𝐧 𝐚𝐧𝐝 𝐆𝐢𝐫𝐥𝐬 𝐢𝐧 #𝐒𝐜𝐢𝐞𝐧𝐜𝐞.
🔬 This initiative, led by @onufrance.bsky.social Femmes and @unesco.org, highlights the 𝐩𝐞𝐫𝐬𝐢𝐬𝐭𝐞𝐧𝐭 𝐢𝐧𝐞𝐪𝐮𝐚𝐥𝐢𝐭𝐢𝐞𝐬 𝐢𝐧 𝐭𝐡𝐞 𝐬𝐜𝐢𝐞𝐧𝐭𝐢𝐟𝐢𝐜 𝐟𝐢𝐞𝐥𝐝.
Reposted by IRIF
#Egalités | UPCité lance un appel à projets en faveur des droits des femmes !
Faites connaître vos initiatives en faveur de l’égalité et de l’inclusion à l’occasion de la Journée internationale des droits des femmes.
📅 Remplissez le formulaire avant le 19/02 : intranet.u-paris.fr/appel-a-proj...
Faites connaître vos initiatives en faveur de l’égalité et de l’inclusion à l’occasion de la Journée internationale des droits des femmes.
📅 Remplissez le formulaire avant le 19/02 : intranet.u-paris.fr/appel-a-proj...
February 10, 2025 at 10:57 AM
#Egalités | UPCité lance un appel à projets en faveur des droits des femmes !
Faites connaître vos initiatives en faveur de l’égalité et de l’inclusion à l’occasion de la Journée internationale des droits des femmes.
📅 Remplissez le formulaire avant le 19/02 : intranet.u-paris.fr/appel-a-proj...
Faites connaître vos initiatives en faveur de l’égalité et de l’inclusion à l’occasion de la Journée internationale des droits des femmes.
📅 Remplissez le formulaire avant le 19/02 : intranet.u-paris.fr/appel-a-proj...
[ 📰 - Accepted papers]
🎉 👏 Congratulations to the Adrian Vladu, IRIF member, whose papers have been accepted to STOC 2025, an ACM conference.
His paper is titled: 𝑩𝒓𝒆𝒂𝒌𝒊𝒏𝒈 𝒕𝒉𝒆 𝑩𝒂𝒓𝒓𝒊𝒆𝒓 𝒐𝒇 𝑺𝒆𝒍𝒇-𝑪𝒐𝒏𝒄𝒐𝒓𝒅𝒂𝒏𝒕 𝑩𝒂𝒓𝒓𝒊𝒆𝒓𝒔: 𝑭𝒂𝒔𝒕𝒆𝒓 𝑰𝒏𝒕𝒆𝒓𝒊𝒐𝒓 𝑷𝒐𝒊𝒏𝒕 𝑴𝒆𝒕𝒉𝒐𝒅𝒔 𝒇𝒐𝒓 𝑴-𝑴𝒂𝒕𝒓𝒊𝒄𝒆𝒔.
🔗 acm-stoc.org/stoc2025/acc...
🎉 👏 Congratulations to the Adrian Vladu, IRIF member, whose papers have been accepted to STOC 2025, an ACM conference.
His paper is titled: 𝑩𝒓𝒆𝒂𝒌𝒊𝒏𝒈 𝒕𝒉𝒆 𝑩𝒂𝒓𝒓𝒊𝒆𝒓 𝒐𝒇 𝑺𝒆𝒍𝒇-𝑪𝒐𝒏𝒄𝒐𝒓𝒅𝒂𝒏𝒕 𝑩𝒂𝒓𝒓𝒊𝒆𝒓𝒔: 𝑭𝒂𝒔𝒕𝒆𝒓 𝑰𝒏𝒕𝒆𝒓𝒊𝒐𝒓 𝑷𝒐𝒊𝒏𝒕 𝑴𝒆𝒕𝒉𝒐𝒅𝒔 𝒇𝒐𝒓 𝑴-𝑴𝒂𝒕𝒓𝒊𝒄𝒆𝒔.
🔗 acm-stoc.org/stoc2025/acc...
STOC 2025 - 57th ACM Symposium on Theory of Computing
acm-stoc.org
February 10, 2025 at 10:30 AM
[ 📰 - Accepted papers]
🎉 👏 Congratulations to the Adrian Vladu, IRIF member, whose papers have been accepted to STOC 2025, an ACM conference.
His paper is titled: 𝑩𝒓𝒆𝒂𝒌𝒊𝒏𝒈 𝒕𝒉𝒆 𝑩𝒂𝒓𝒓𝒊𝒆𝒓 𝒐𝒇 𝑺𝒆𝒍𝒇-𝑪𝒐𝒏𝒄𝒐𝒓𝒅𝒂𝒏𝒕 𝑩𝒂𝒓𝒓𝒊𝒆𝒓𝒔: 𝑭𝒂𝒔𝒕𝒆𝒓 𝑰𝒏𝒕𝒆𝒓𝒊𝒐𝒓 𝑷𝒐𝒊𝒏𝒕 𝑴𝒆𝒕𝒉𝒐𝒅𝒔 𝒇𝒐𝒓 𝑴-𝑴𝒂𝒕𝒓𝒊𝒄𝒆𝒔.
🔗 acm-stoc.org/stoc2025/acc...
🎉 👏 Congratulations to the Adrian Vladu, IRIF member, whose papers have been accepted to STOC 2025, an ACM conference.
His paper is titled: 𝑩𝒓𝒆𝒂𝒌𝒊𝒏𝒈 𝒕𝒉𝒆 𝑩𝒂𝒓𝒓𝒊𝒆𝒓 𝒐𝒇 𝑺𝒆𝒍𝒇-𝑪𝒐𝒏𝒄𝒐𝒓𝒅𝒂𝒏𝒕 𝑩𝒂𝒓𝒓𝒊𝒆𝒓𝒔: 𝑭𝒂𝒔𝒕𝒆𝒓 𝑰𝒏𝒕𝒆𝒓𝒊𝒐𝒓 𝑷𝒐𝒊𝒏𝒕 𝑴𝒆𝒕𝒉𝒐𝒅𝒔 𝒇𝒐𝒓 𝑴-𝑴𝒂𝒕𝒓𝒊𝒄𝒆𝒔.
🔗 acm-stoc.org/stoc2025/acc...
📚 The @cnrs.bsky.social has published a new book on the history of calculus, titled 𝐿𝑒 𝑐𝑎𝑙𝑐𝑢𝑙 𝑎̀ 𝑑𝑒́𝑐𝑜𝑢𝑣𝑒𝑟𝑡.
✍ 👏 Several current and former IRIF researchers contributed to the writing of this book by authoring chapters:
🔗 www.cnrseditions.fr/catalogue/hi...
✍ 👏 Several current and former IRIF researchers contributed to the writing of this book by authoring chapters:
🔗 www.cnrseditions.fr/catalogue/hi...
Le calcul à découvert - CNRS Editions
Le calcul à découvert - (EAN13 : 9782271153739) édité par CNRS Editions - Au commencement était le caillou, en latin calculus, utilisé, en plus des doigts, pour les premiers dénombrements humains. Pui...
www.cnrseditions.fr
February 6, 2025 at 1:54 PM
📚 The @cnrs.bsky.social has published a new book on the history of calculus, titled 𝐿𝑒 𝑐𝑎𝑙𝑐𝑢𝑙 𝑎̀ 𝑑𝑒́𝑐𝑜𝑢𝑣𝑒𝑟𝑡.
✍ 👏 Several current and former IRIF researchers contributed to the writing of this book by authoring chapters:
🔗 www.cnrseditions.fr/catalogue/hi...
✍ 👏 Several current and former IRIF researchers contributed to the writing of this book by authoring chapters:
🔗 www.cnrseditions.fr/catalogue/hi...