"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

[ 💻 ⚛️ - 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

[🎥 - 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...

🔬✨ 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

👩‍🔬 À 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...

[ ⚖️ - Women in #STEM] ✊ ♀️ Today marks the 𝟏𝟎𝐭𝐡 𝐈𝐧𝐭𝐞𝐫𝐧𝐚𝐭𝐢𝐨𝐧𝐚𝐥 𝐃𝐚𝐲 𝐨𝐟 #𝐖𝐨𝐦𝐞𝐧 𝐚𝐧𝐝 𝐆𝐢𝐫𝐥𝐬 𝐢𝐧 #𝐒𝐜𝐢𝐞𝐧𝐜𝐞. 🔬 This initiative, led by @onufrance.bsky.social Femmes and @unesco.org, highlights the 𝐩𝐞𝐫𝐬𝐢𝐬𝐭𝐞𝐧𝐭 𝐢𝐧𝐞𝐪𝐮𝐚𝐥𝐢𝐭𝐢𝐞𝐬 𝐢𝐧 𝐭𝐡𝐞 𝐬𝐜𝐢𝐞𝐧𝐭𝐢𝐟𝐢𝐜 𝐟𝐢𝐞𝐥𝐝.

#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...

[ 📰 - 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...

📚 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...

[ 📰 - Accepted papers] 🎉 👏 Congratulations to the following IRIF members whose papers have been accepted to: 🟢 ESOP 2025: 1️⃣ Giovanni Bernardi (IRIF), Ilaria Castellani, Paul Laforgue, Léo Stefanesco. 𝐶𝑜𝑛𝑠𝑡𝑟𝑢𝑐𝑡𝑖𝑣𝑒 𝑐ℎ𝑎𝑟𝑎𝑐𝑡𝑒𝑟𝑖𝑠𝑎𝑡𝑖𝑜𝑛𝑠 𝑜𝑓 𝑡ℎ𝑒 𝑚𝑢𝑠𝑡-𝑝𝑟𝑒𝑜𝑟𝑑𝑒𝑟 𝑓𝑜𝑟 𝑎𝑠𝑦𝑛𝑐ℎ𝑟𝑜𝑛𝑦 1/3 ⤵️

🗣️ 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!

"Avec le développement de l’apprentissage automatique, et plus encore des réseaux de neurones, le rapprochement entre #IA et #TAL est devenu tellement fort qu’à présent, les deux domaines utilisent les mêmes outils, les mêmes méthodes..." nous explique @maximeamblard.bsky.social dans cet entretien !

The first video of the conference "L’optimisation, au cœur des défis des sciences informatiques" is now also online (in French): Claire Mathieu @irif-paris.bsky.social @cnrs.bsky.social shares her results and enthusiasm to work on optimization for societal questions: www.youtube.com/watch?v=_ZXZ...

🎥 For the @cnrs.bsky.social conference titled « L’optimisation, au cœur des défis des sciences informatiques »*, David Saulpic, a CNRS Research Scientist at IRIF, delivered a three-minute Flash'Opti presentation about Big Data. 🎬 www.youtube.com/watch?v=5DAD... @cnrsinformatics.bsky.social

On the 10th and 11th of February 2025, the Elysée Palace is hosting a summit on #AI. ⚖️ Christian Goglin is discussing in this french article to embed and share ethical principles in AI algorithms: theconversation.com/ia-vers-des-... Find more about the summit on AI: lnkd.in/ev8PRcSt

🤔 Challenge: Can you think of a better way to kick off your 2025 scientific year than revisiting Dexter Kozen's insightful talk on "Probability and Angelic Nondeterminism with Multiset Semantics"? The video is now available! 🎬 www.youtube.com/watch?v=ov-V... @cornellupress.bsky.social

📻 🎧 On 13 December, Claire Mathieu took part in a radio show to talk about the #AI revolution. You can listen to it here: frequenceprotestante.com/events/magaz...

IRIF wishes you a happy new year, filled with groundbreaking research discoveries, scientific achievements, and personal fulfillment! 🎉