IRIF (Institut de Recherche en Informatique Fondamentale)

[ 📚 - Publication] 🧮 The CNRS EDITIONS has published a new book on the history of calculus, titled 𝐿𝑒 𝑐𝑎𝑙𝑐𝑢𝑙 𝑎̀ 𝑑𝑒́𝑐𝑜𝑢𝑣𝑒𝑟𝑡. 🧐 This book was produced under the supervision of Mokrane Bouzeghoub, Michel Daydé, and Christian Jutten, all of whom are former CNRS emeritus researchers. ✍ 👏 Several current and former IRIF researchers contributed to the writing of this book by authoring chapters: ◻️ Part 4: ▪️ Chapter 1 - 𝑳'𝒂𝒍𝒈𝒐𝒓𝒊𝒕𝒉𝒎𝒆 : 𝒗𝒆𝒓𝒔 𝒍𝒂 𝒓𝒆́𝒔𝒐𝒍𝒖𝒕𝒊𝒐𝒏 𝒄𝒐𝒏𝒄𝒓𝒆̀𝒕𝒆 𝒅𝒆 𝒑𝒓𝒐𝒃𝒍𝒆̀𝒎𝒆𝒔 – Claire Mathieu ▪️ Chapter 2 - 𝑳𝒂 𝒄𝒐𝒎𝒑𝒍𝒆𝒙𝒊𝒕𝒆́ 𝒂𝒍𝒈𝒐𝒓𝒊𝒕𝒉𝒎𝒊𝒒𝒖𝒆 – Sylvain Perifel ◻️ Part 9: ▪️ Chapter 1 - 𝑳𝒆𝒔 𝒇𝒐𝒏𝒅𝒆𝒎𝒆𝒏𝒕𝒔 𝒅𝒖 𝒄𝒂𝒍𝒄𝒖𝒍 𝒒𝒖𝒂𝒏𝒕𝒊𝒒𝒖𝒆 – Frédéric Magniez ▪️ Chapter 2 - 𝑳𝒂 𝒄𝒓𝒚𝒑𝒕𝒐𝒈𝒓𝒂𝒑𝒉𝒊𝒆 𝒒𝒖𝒂𝒏𝒕𝒊𝒒𝒖𝒆 – Eleni Diamanti with Philippe Grangier Abstract: " [...] This book explores the fascinating history of calculus and computing through accessible articles that trace their evolution and highlight the figures who shaped or accompanied their development. It brings together contributions from all scientific disciplines, showcasing landmark achievements that would not have been possible without computer science. Crucial issues such as energy consumption, the transformation of professions, privacy protection, and security are also addressed. [...]" 🔗 https://lnkd.in/ek5Pqpnr CNRS, CNRS Délégation Île-de-France Villejuif, Université Paris Cité

[ 📰 - 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. 𝐶𝑜𝑛𝑠𝑡𝑟𝑢𝑐𝑡𝑖𝑣𝑒 𝑐ℎ𝑎𝑟𝑎𝑐𝑡𝑒𝑟𝑖𝑠𝑎𝑡𝑖𝑜𝑛𝑠 𝑜𝑓 𝑡ℎ𝑒 𝑚𝑢𝑠𝑡-𝑝𝑟𝑒𝑜𝑟𝑑𝑒𝑟 𝑓𝑜𝑟 𝑎𝑠𝑦𝑛𝑐ℎ𝑟𝑜𝑛𝑦 2️⃣ Thomas Ehrhard (IRIF), Claudia FAGGIAN (IRIF), Michele PAGANI. 𝑉𝑎𝑟𝑖𝑎𝑏𝑙𝑒 𝐸𝑙𝑖𝑚𝑖𝑛𝑎𝑡𝑖𝑜𝑛 𝑎𝑠 𝑅𝑒𝑤𝑟𝑖𝑡𝑖𝑛𝑔 𝑖𝑛 𝑎 𝐿𝑖𝑛𝑒𝑎𝑟 𝐿𝑎𝑚𝑏𝑑𝑎 𝐶𝑎𝑙𝑐𝑢𝑙𝑢𝑠 3️⃣ Matteo Acclavio, Giulia Manara (IRIF), Fabrizio Montesi. 𝐹𝑜𝑟𝑚𝑢𝑙𝑎𝑠 𝑎𝑠 𝑃𝑟𝑜𝑐𝑒𝑠𝑠𝑒𝑠, 𝐷𝑒𝑎𝑑𝑙𝑜𝑐𝑘-𝐹𝑟𝑒𝑒𝑑𝑜𝑚 𝑎𝑠 𝐶ℎ𝑜𝑟𝑒𝑜𝑔𝑟𝑎𝑝ℎ𝑖𝑒𝑠 🟢 FoSSaCS 2025: *️⃣ Esaïe Bauer (IRIF) and Alexis Saurin (IRIF). 𝑂𝑛 𝑡ℎ𝑒 𝑐𝑢𝑡-𝑒𝑙𝑖𝑚𝑖𝑛𝑎𝑡𝑖𝑜𝑛 𝑜𝑓 𝑡ℎ𝑒 𝑚𝑜𝑑𝑎𝑙 μ-𝑐𝑎𝑙𝑐𝑢𝑙𝑢𝑠: 𝐿𝑖𝑛𝑒𝑎𝑟 𝐿𝑜𝑔𝑖𝑐 𝑡𝑜 𝑡ℎ𝑒 𝑟𝑒𝑠𝑐𝑢𝑒 🔗 https://lnkd.in/e4wYfaNN ETAPS conferences, CNRS Délégation Île-de-France Villejuif, Université Paris Cité

[ 📢 Automata and Concurrency Theory Seminar - ACTS] 🔜 The third Paris ACTS, will take place at IRIF, on Wednesday 29 January. P-ACTS is a seminar series focused on connections between 𝐀𝐮𝐭𝐨𝐦𝐚𝐭𝐚 𝐭𝐡𝐞𝐨𝐫𝐲 𝐚𝐧𝐝 𝐂𝐨𝐧𝐜𝐮𝐫𝐫𝐞𝐧𝐜𝐲 𝐭𝐡𝐞𝐨𝐫𝐲, shared between EPITA: Ecole d'Ingénieurs en Informatique, École Polytechnique and IRIF. The two speakers will be Laetitia Laversa (IRIF, Université Paris Cité, France) and Glynn Winskel (Queen Mary University of London, UK). 🗣️ Laetitia Laversa will speak about 𝘈𝘣𝘰𝘶𝘵 𝘵𝘩𝘦 𝘬-𝘴𝘺𝘯𝘤𝘩𝘳𝘰𝘯𝘪𝘻𝘢𝘣𝘪𝘭𝘪𝘵𝘺 𝘰𝘧 𝘤𝘰𝘮𝘮𝘶𝘯𝘪𝘤𝘢𝘵𝘪𝘯𝘨 𝘢𝘶𝘵𝘰𝘮𝘢𝘵𝘢 and Glynn Winskel will speak about 𝘍𝘳𝘰𝘮 𝘊𝘰𝘯𝘤𝘶𝘳𝘳𝘦𝘯𝘵 𝘎𝘢𝘮𝘦𝘴 𝘵𝘰 𝘎𝘰̈𝘥𝘦𝘭'𝘴 𝘋𝘪𝘢𝘭𝘦𝘤𝘵𝘪𝘤𝘢 𝘐𝘯𝘵𝘦𝘳𝘱𝘳𝘦𝘵𝘢𝘵𝘪𝘰𝘯. 📽️ The talks will also be broadcasted on Zoom. 🔗 For the abstracts and more information about the seminar, see this page: https://lnkd.in/giXacx2t

[ 🎥 - CNRS Flash'Opti] 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), David Saulpic, a CNRS Research Scientist at IRIF delivered a three-minute Flash'Opti presentation about Big Data. The Flash'Opti presentations are a CNRS original concept designed to showcase a research topic in just three minutes, using the support of a single image. 🎬 https://lnkd.in/eh4VRHta CNRS Délégation Île-de-France Villejuif

[ 📰 - Embedding and sharing ethical principles in AI algorithms] 🔜 On the 10th and 11th of February 2025, the Présidence de la République Elysée Palace is hosting a summit on #AI. AI represents a major scientific revolution, increasingly used in computer science, social media, and businesses such as banks. However, as this technology advances, ethical concerns are emerging, making it more necessary than ever to address its implications thoughtfully and comprehensively. One of the most pressing issues is AI’s impact on democracy. On social media, algorithms select content that aligns closely with users’ existing beliefs, creating “filter bubbles” and limiting access to diverse opinions. This reinforcement of personal beliefs stifles debate, which is essential for healthy democratic processes, especially during critical moments such as elections. 🏦 Another significant challenge is the integration of ethics into AI systems. Companies often use AI for predictive purposes, such as evaluating loan eligibility, which can lead to discrimination and socio-economic injustice. The article also emphasizes the importance of embedding shared ethical principles directly into algorithms, beyond simply relying on legal frameworks. ⚖️ However, defining a universal set of ethical principles for AI remains a complex task due to varying cultural and individual values. Despite these challenges, the article advocates for pursuing consensus to ensure that AI development aligns with societal well-being and justice. Read the full article here (in French) : https://lnkd.in/gcaeSt3f Title: 𝘐𝘈 : 𝘷𝘦𝘳𝘴 𝘥𝘦𝘴 𝘱𝘳𝘪𝘯𝘤𝘪𝘱𝘦𝘴 𝘦́𝘵𝘩𝘪𝘲𝘶𝘦𝘴 𝘱𝘢𝘳𝘵𝘢𝘨𝘦́𝘴 𝘦𝘵 𝘪𝘯𝘵𝘦́𝘨𝘳𝘦́𝘴 𝘥𝘢𝘯𝘴 𝘭𝘦𝘴 𝘢𝘭𝘨𝘰𝘳𝘪𝘵𝘩𝘮𝘦𝘴 Author: Christian Goglin, PhD Newspaper: The Conversation France Find more about the summit on AI here : https://lnkd.in/ev8PRcSt

The Steering Committee of the annual international conference on the Theory of Quantum Computation, Communication and Cryptography (TQC) is seeking a local organizer for the year 2026 and invites individuals who are interested in hosting the event to submit an expression of interest to Francois Le Gall via email at legall@math.nagoya-u.ac.jp or to any of the Steering Committee members before February 28, 2025. More about TQC, the annual leading international conference with QIP on quantum information processing, and its previous editions since 2006: https://lnkd.in/eKD9JmxH

[ 📽️ Rerun of the last Distinguished Talk] 🤔 Challenge for the start of 2025: Can you think of a better way to kick off your scientific year than revisiting Dexter Kozen's insightful talk on "Probability and Angelic Nondeterminism with Multiset Semantics" (from a joint work with Shawn Ong and Stephanie Ma)? Tough, isn't it? The video is now available! 🎬 https://lnkd.in/eEhaKGqk Abstract: Many modern computational systems involve both probability and nondeterminism, but the combination of the two in a formal logic is a notoriously challenging problem. One would like to reason about the correctness of programs involving constructs for both probabilistic and nondeterministic choice, but it is known that the standard way of modeling nondeterministic choice as a set of possibilities does not interact well with probabilistic choice, chiefly due to the lack of a suitable distributive law between the two. Many researchers over the years have grappled with this issue and proposed a variety of workarounds. In this talk I will describe an alternative approach that models nondeterministic choice as a multiset operator instead of a set operator. It turns out that this simple change makes everything work much more smoothly, as there is a distributive law between probability and multisets. I will describe a class of probabilistic automata with nondeterminism modeled by multisets, along with a corresponding class of expressions analogous to regular expressions in this context, and show that they are equivalent in expressive power. In these models, an input string is not just accepted with some probability, but accepted with some finite multiplicity with some probability. I will give several examples and describe exactly why multisets work where sets do not. Cornell University, CNRS, CNRS Délégation Île-de-France Villejuif, Université Paris Cité

📻 🎧 On 13 December 2024, Claire Mathieu, senior researcher at IRIF - CNRS took part in a Fréquence Protestante radio show (in french) to talk about the #AI revolution. You can listen to it here: https://lnkd.in/eBT7Xj8V

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

L'appel à candidatures du programme doctoral cofund MathPhDInFrance est ouvert du 17 décembre 2024 au 14 février 2025. 25 bourses de thèses en codirection entre un laboratoire d’Île-de-France et un laboratoire d’une autre région seront accordées à l'issue de cet appel, pour des thèses démarrant à l'automne 2025. Condition d'éligibilité importante : pour pouvoir bénéficier du programme, l'étudiant•e ne doit pas avoir passé plus d'un an en France entre le 14/02/2022 et le 14/02/2025. Retrouvez la procédure complète de candidature, la liste des laboratoires éligibles ainsi que tous les renseignements utiles sur le programme sur le site :  https://lnkd.in/eYbdV5GB