iiinova — where your digital self keeps evolving

Reposted by IRIF

CNRS Sciences informatiques @cnrsinformatics.bsky.social · 26/05/2025

"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‬

031

IRIF @irif-paris.bsky.social · 22/05/2025

🏫 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

epit2025.sciencesconf.org

École de Printemps d'Informatique Théorique 2025 - Sciencesconf.org

000

IRIF @irif-paris.bsky.social · 19/03/2025

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

020

IRIF @irif-paris.bsky.social · 14/03/2025

🔍 🤔 “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

020

Reposted by IRIF

Collège de France @college-de-france.fr · 11/03/2025

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

073

IRIF @irif-paris.bsky.social · 11/03/2025

📉 𝐒𝐚𝐧𝐬 𝐦𝐚𝐭𝐡𝐞́𝐦𝐚𝐭𝐢𝐪𝐮𝐞𝐬, 𝐩𝐚𝐬 𝐝’𝐢𝐧𝐟𝐨𝐫𝐦𝐚𝐭𝐢𝐪𝐮𝐞 ! 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

020

IRIF @irif-paris.bsky.social · 10/03/2025

🎉 👏 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

Congratulations to the #AAAI2025 outstanding paper award winners - ΑΙhub

020

Reposted by IRIF

CNRS @cnrs.fr · 07/03/2025

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

0176

Reposted by IRIF

Dr Elodie Chabrol @eloscicomm.bsky.social · 24/02/2025

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) ?

media.tenor.com

a cartoon of a cat asking for please

ALT: a cartoon of a cat asking for please

52737

Reposted by IRIF

Académie des sciences @academiesciences.bsky.social · 24/02/2025

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

1104

IRIF @irif-paris.bsky.social · 20/02/2025

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

cnrsinnovation.com

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

120

IRIF @irif-paris.bsky.social · 18/02/2025

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

youtube.com

121

IRIF @irif-paris.bsky.social · 17/02/2025

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

151

IRIF @irif-paris.bsky.social · 13/02/2025

🎉 👏 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...

hscc.acm.org

Accepted Papers – HSCC 2025

000

Reposted by IRIF

CNRS @cnrs.fr · 13/02/2025

🔴 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

0204

IRIF @irif-paris.bsky.social · 11/02/2025

♀️👵 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

ggstem.wordpress.com

Grandma Got STEM

Science, Technology, Engineering, Mathematics (+more!).

020

Reposted by IRIF

Académie des sciences @academiesciences.bsky.social · 11/02/2025

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

urls.fr

34826

Reposted by IRIF

Sorbonne Université @sorbonne-universite.fr · 11/02/2025

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

Mosaïque de portraits de femmes chercheuses, enseignantes, étudiantes, doctorantes ou docteures de Sorbonne Université.

0222

Reposted by IRIF

Collège de France @college-de-france.fr · 11/02/2025

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

2133

IRIF @irif-paris.bsky.social · 11/02/2025

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

media.tenor.com

a logo that says women in stem with a female symbol

ALT: a logo that says women in stem with a female symbol

130

Reposted by IRIF

Université Paris Cité @upcite.bsky.social · 10/02/2025

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

063

IRIF @irif-paris.bsky.social · 10/02/2025

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

acm-stoc.org

STOC 2025 - 57th ACM Symposium on Theory of Computing

040

IRIF @irif-paris.bsky.social · 06/02/2025

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

cnrseditions.fr

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

131

IRIF @irif-paris.bsky.social · 30/01/2025

[ 📰 - 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 ⤵️

etaps.org

Programme

Programme of main conferences from Monday to Thursday. Best Paper candidates are highlighted in yellow and by asterisk.

110

IRIF @irif-paris.bsky.social · 23/01/2025

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

110

Reposted by IRIF

Interstices.info @interstices-info.bsky.social · 22/01/2025

"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 !

interstices.info

Traitement automatique des langues : d’une lente progression à des bouleversements fulgurants - Interstices

Le TAL, traitement automatique des langues, frère jumeau de l’IA, a émergé il y a plus de 70 ans, mais son développement s’est accéléré il y a une vingtaine d’années seulement. Aujourd’hui, ce domaine...

035

Reposted by IRIF

Carola Doerr @caroladoerr.bsky.social · 20/12/2024

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

youtube.com

1144

IRIF @irif-paris.bsky.social · 20/01/2025

🎥 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

youtube.com

Le Big Data avec David Saulpic | Flash'Opti

YouTube video by CNRS - En direct des labos

151

IRIF @irif-paris.bsky.social · 17/01/2025

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

theconversation.com

IA : vers des principes éthiques partagés et intégrés dans les algorithmes

L’IA reflète les contradictions de nos sociétés et la diversité de nos valeurs. L’éthique propose des pistes de mises en commun, qui pourraient permettre de programmer des IA plus justes.

010

IRIF @irif-paris.bsky.social · 08/01/2025

🤔 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

youtube.com

Dexter Kozen (Cornell University) Talk - Irif's Distinguished Talk Series

YouTube video by IRIF

000

IRIF @irif-paris.bsky.social · 07/01/2025

📻 🎧 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...

frequenceprotestante.com

Les révolutions de l’intelligence artificielle - Fréquence Protestante

000

IRIF @irif-paris.bsky.social · 06/01/2025

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

000