| Homepage | https://www.irif.fr/ |
🏫 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
➡️ Pour retrouvez les contenus des cours : https://epit2025.sciencesconf.org/?lang=fr
L'UFR d'informatique de l'Université Paris Cité organise une nouvelle conférence "On éteint 📴 , on réfléchit 🧠 , on discute 🗣️ " sur "𝐋𝐞 𝐦𝐨𝐧𝐝𝐞 𝐦𝐞𝐫𝐯𝐞𝐢𝐥𝐥𝐞𝐮𝐱 𝐝𝐞𝐬 𝐬𝐭𝐚𝐫𝐭-𝐮𝐩" avec Marion Flécher, maîtresse de conférences en sociologie à l'Université Paris Nanterre, spécialiste de toutes ces questions et Jean Krivine, chercheur en informatique à l’Université Paris Cité, qui a travaillé dans des start-up.
🫵 Venez nombreux !
📅 01/04
⏰ 16h30-18h30
📍 Amphi 4C 2, Halle aux Farines
🔗 https://www.informatique.univ-paris-diderot.fr/ufr/conferences_ufr
🎙️ Le 3e épisode du #podcast “Qu'est ce que tu cherches ?” du @cnrs a invité Geoffroy Couteau pour parler de son sujet de recherche : la protection des données privées via les calculs sécurisés et les protocoles sécurisés.
Vous pourrez également découvrir sa journée type, le moment où il fait le plus de sciences (et non, ce n'est pas forcément pendant la journée !) et les stéréotypes liés à son domaine.
🔗 (Ré)Écoutez cet épisode : https://podcast.ausha.co/cnrs-qu-est-ce-que-tu-cherches/comment-proteger-nos-donnees-privees-geoffroy-couteau-cnrs
« Mes travaux visent à protéger la vie privée ». Geoffroy Couteau, chercheur CNRS en cryptographie, explique pourquoi le calcul sécurisé s’impose comme la solution pour garantir la confidentialité de nos données privées en ligne. Avec Geoffroy Couteau (CNRS), chercheur en cryptographie à l'Institut de Recherche en Informatique Fondamentale (IRIF - CNRS / Université Paris Cité) 💻 Pour en savoir plus : l'article sur la bourse européenne reçue par Geoffroy Couteau 👉 https://www.ins2i.cnrs.fr/fr/cnrsinfo/geoffroy-couteau-une-erc-pour-pousser-la-securite-des-donnees l'article "La cryptographie face à la menace quantique" 👉 "https://lejournal.cnrs.fr/articles/la-cryptographie-face-a-la-menace-quantique l'article "Vers une cryptographie post-quantique" 👉 https://lejournal.cnrs.fr/articles/vers-une-cryptographie-post-quantique la vidéo 👉 https://youtu.be/ajhbfhiEGnM Ces recherches et ce podcast ont été financés en tout ou partie, par l’Agence Nationale de la Recherche (ANR) dans le cadre du projet SCENE. Hébergé par Ausha. Visitez ausha.co/fr/politique-de-confidentialite pour plus d'informations.
📉 🌱 𝐒𝐚𝐧𝐬 𝐦𝐚𝐭𝐡𝐞́𝐦𝐚𝐭𝐢𝐪𝐮𝐞𝐬, 𝐩𝐚𝐬 𝐝’𝐢𝐧𝐟𝐨𝐫𝐦𝐚𝐭𝐢𝐪𝐮𝐞 ! L’informatique fondamentale repose sur les maths, et pourtant, cette discipline souffre d’un désintérêt croissant chez les étudiants. Depuis plusieurs années, le niveau en maths diminue et les inégalités dans l’accès aux filières scientifiques se creusent.
🔎 Le @cnrs lance la consultation citoyenne "𝐀𝐮𝐱 𝐦𝐚𝐭𝐡𝐬, 𝐜𝐢𝐭𝐨𝐲𝐞𝐧𝐧𝐞𝐬, 𝐜𝐢𝐭𝐨𝐲𝐞𝐧𝐬 !".
🗳️ Votre avis compte ! 👉 https://consultation-maths.fr/
🎉 👏 Congratulations to Florian Horn, co-author of "𝑅𝑒𝑣𝑒𝑙𝑎𝑡𝑖𝑜𝑛𝑠: 𝐴 𝐷𝑒𝑐𝑖𝑑𝑎𝑏𝑙𝑒 𝐶𝑙𝑎𝑠𝑠 𝑜𝑓 𝑃𝑂𝑀𝐷𝑃𝑠 𝑤𝑖𝑡ℎ 𝑂𝑚𝑒𝑔𝑎-𝑅𝑒𝑔𝑢𝑙𝑎𝑟 𝑂𝑏𝑗𝑒𝑐𝑡𝑖𝑣𝑒𝑠", a paper awarded the “Outstanding Paper Awards” at AAAI 2025.
🔗 https://aihub.org/2025/03/01/congratulations-to-the-aaai2025-outstanding-paper-award-winners/
🔮 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.
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.
[ 💻 ⚛️ - 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. 💡
Le CNRS Innovation s'est entretenu avec Iordanis Kerenidis, CTO, cofondateur de la start-up ainsi que directeur de recherche CNRS à l’IRIF.
Un article réalisé par Martin Koppe.
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 directeur de recherche CNRS à l’Institut de recherche en informatique fondamentale, nous en explique le principe.
🎥 For the CNRS conference titled « L’optimisation, au cœur des défis des sciences informatiques » (Optimization, at the core of the challenges of computer science), Simon Apers, a CNRS Research Scientist at IRIF delivered a three-minute Flash'Opti presentation about how quantum algorithm can help optimisation.
The Flash'Opti presentations are a @cnrs concept designed to showcase a research topic in just three minutes, using the support of a single image.
Sophie Laplante, professeure à l'IRIF, a contribué au numéro 425 de Science & Vie Junior, 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.
💡 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é !
🔗 https://www.kiosquemag.com/titres/science-vie-junior/sommaire/425
[ 📰 - Accepted papers]
🎉 👏 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: 𝑹𝒐𝒃𝒖𝒔𝒕 𝑰𝒅𝒆𝒏𝒕𝒊𝒇𝒊𝒄𝒂𝒕𝒊𝒐𝒏 𝒐𝒇 𝑯𝒚𝒃𝒓𝒊𝒅 𝑨𝒖𝒕𝒐𝒎𝒂𝒕𝒂 𝒇𝒓𝒐𝒎 𝑵𝒐𝒊𝒔𝒚 𝑫𝒂𝒕𝒂.
