@irif-paris
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.
"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
🏫 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
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...
🔍 🤔 “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
⏰ 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...
📉 𝐒𝐚𝐧𝐬 𝐦𝐚𝐭𝐡𝐞́𝐦𝐚𝐭𝐢𝐪𝐮𝐞𝐬, 𝐩𝐚𝐬 𝐝’𝐢𝐧𝐟𝐨𝐫𝐦𝐚𝐭𝐢𝐪𝐮𝐞 ! 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...
#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
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) ?
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
[...] CTO, cofondateur de la start-up ainsi que directeur de recherche CNRS à l’IRIF.
Il met en avant l’impact des nouveaux modèles de langage, bien plus puissants que les anciens, capables de faire de la prédiction des systèmes dynamiques et instables, comme les marchés financiers.
🔮 Son domaine ? La #prédiction de l’évolution à court terme des marchés financiers et plus précisément la prédiction de l’évolution des actions et des contrats à terme, dans le cadre du #trading intrajournalier.
Le @cnrs.fr Innovation s'est entretenu avec Iordanis Kerenidis, [...]
[ 💻 ⚛️ - 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.
#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
The Flash'Opti presentations are a @cnrs.fr original concept designed to showcase a research topic in just three minutes, using the support of a single image.
@cnrsinformatics.bsky.social @cnrs-idf-villejuif.bsky.social
[🎥 - 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...
💡 Chiffrement, clés, données, calculs et bits… Ces concepts sont expliqués de façon accessible, pour permettre à tous, petits et grands, d’explorer les mystères du quantique en toute simplicité !
📖 À découvrir dans Science & Vie : www.kiosquemag.com/titres/scien...
🔬✨ 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.
🎉 👏 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...
🔴 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
♀️👵 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
🔬✨ 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
Mosaïque de portraits de femmes chercheuses, enseignantes, étudiantes, doctorantes ou docteures de Sorbonne Université.
👩🔬 À 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
🌍 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...
🎯 To celebrate this important day, @unesco.org is hosting a hybrid event titled "Unpacking STEM Careers: Her Voice in Science" today, on February 11, 2025.
🔗 Find all the details here: www.unesco.org/fr/articles/...
◾Participation in the activities of the Equality, Diversity, and Inclusion Mission of the Faculty of Science @upcite.bsky.social
◾ And many other initiatives to foster equality.
🔗 Learn more about our actions here: www.irif.fr/egalite-fh/i...
🥊 At IRIF, we are deeply committed to this cause. Our efforts include:
◾ A dedicated Gender Equality Commission
◾ Ensuring gender parity in our high school internship programs
◾ Providing training for unbiased recruitment processes
📉 In the fields of science, technology, engineering, and mathematics (STEM), women make up only 33.3% of researchers and 35% of students on average. These figures underscore the urgency of promoting gender equality in STEM.
The underrepresentation of women in science poses a significant challenge — not just for society, but also for women's independence and empowerment.
𝐒𝐭𝐞𝐫𝐞𝐨𝐭𝐲𝐩𝐞𝐬 𝐦𝐮𝐬𝐭 𝐛𝐞 𝐝𝐢𝐬𝐦𝐚𝐧𝐭𝐥𝐞𝐝 to create a more inclusive and equitable future.
