L'UFR d'informatique de l'Université Paris Cité organise une nouvelle conférence “On éteint, on réfléchit, on discute” mardi 1er avril 2025 sur “𝐋𝐞 𝐦𝐨𝐧𝐝𝐞 𝐦𝐞𝐫𝐯𝐞𝐢𝐥𝐥𝐞𝐮𝐱 𝐝𝐞𝐬 𝐬𝐭𝐚𝐫𝐭-𝐮𝐩”.

Qu'est-ce qu'une start-up ? Comment fonctionne t-elle ? Son modèle est-il aussi parfait qu'on l'imagine ? Toutes les start-up dans le numérique deviendront-elles des GAFAM ?

Pour répondre à ces questions et débattre, deux intervenants présenteront la réalité de ce monde : Marion Flécher, maîtresse de conférences en sociologie à l'Université Paris Nanterre est spécialiste de toutes ces questions et Jean Krivine, chercheur en informatique à l’Université Paris Cité, a travaillé dans des start-up.

Résumé :
“Parmi les entreprises du numérique, deux figures particulières sont omniprésentes. Il y a d’un côté les très grosses entreprises (les GAFAM, les grandes SS2I/ESN, les constructeurs de matériel…) et puis, à l’autre extrémité, il y a les start-up. Mais au delà de l’image d’Epinal avec ses inventeurs géniaux qui révolutionnent un domaine au fond de leur garage (et font fortune !), qu’y a-t-il exactement ? Et d’abord, qu’appelle-t-on une start-up ? Qu’est-ce qui la différencie d’une entreprise classique ? Comment le travail y est-il organisé ? Y-a-t-il un modèle unique de start-up ou dépend-il au contraire du domaine d’activité ou du pays ? Comment dissocier la réalité des discours généraux sur les start-up (comme la fameuse « start-up nation » ) ? Et plus prosaïquement, à quoi faut-il s’attendre en faisant un stage dans une start-up ?”

Nous vous donnons rendez-vous de 16h30 à 18h30 en Amphi 4C 2, dans la Halle aux Farines, à l'Université Paris Cité. Plus de renseignements sur le lien de l'évènement.

Les mathématiques sont en crise : moins d’attractivité, plus d’inégalités, un niveau en baisse… Que faire ?

𝐒𝐚𝐧𝐬 𝐦𝐚𝐭𝐡𝐞́𝐦𝐚𝐭𝐢𝐪𝐮𝐞𝐬, 𝐩𝐚𝐬 𝐝’𝐢𝐧𝐟𝐨𝐫𝐦𝐚𝐭𝐢𝐪𝐮𝐞 ! L’informatique fondamentale repose entièrement 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 veut comprendre pourquoi et lance, 𝐝𝐮 𝟏𝟎 𝐦𝐚𝐫𝐬 𝐚𝐮 𝟑𝟎 𝐚𝐯𝐫𝐢𝐥 𝟐𝟎𝟐𝟓, la consultation citoyenne “𝐀𝐮𝐱 𝐦𝐚𝐭𝐡𝐬, 𝐜𝐢𝐭𝐨𝐲𝐞𝐧𝐧𝐞𝐬, 𝐜𝐢𝐭𝐨𝐲𝐞𝐧𝐬 !”.

Votre avis compte ! Vous êtes invités à partager votre perception des mathématiques et par conséquent, à contribuer à façonner leur avenir. Participez dès maintenant en répondant à ce questionnaire.

La faible représentation de femmes en sciences est un enjeux pour les prochaines années, pour l'avenir des sciences et de nos sociétés. Les sciences informatiques sont notamment touché par ce phénomène de faible proportion de femmes dans la recherche et dans les carrières liées à l'informatique. Le 8 mars est la journée internationale des droits des femmes.
C'est dans ce cadre que l'IRIF a organisé un espace dédié aux femmes, et plus particulièrement aux femmes scientifiques. Vous pouvez trouver deux expositions, l'une dans l'espace commun du 4e étage, qui est issue des Décodeuses du numérique, une bande dessinée sur les femmes en informatique. L'autre est dans l'espace ouvert à l'arrière du 4e étage, derrière les imprimantes, avec des dessins réalisés par Gabrielle Balency, des affiches sur des scientifiques et des ressources.

Vous pouvez également découvrir ou re-découvrir les portraits de chercheuses à l'IRIF.

Andrew Krapivin, a former undergraduate student at the University of Cambridge, has randomly redefined one of the major conjectures most used in computer science for 40 years. This conjecture is about data structures called hash tables, which are now faster than they were before, thanks to Mr. Krapivin.

“[…] The paper’s title, “Tiny Pointers (opens a new tab),” referred to arrow-like entities that can direct you to a piece of information, or element, in a computer’s memory. Krapivin soon came up with a potential way to further miniaturize the pointers so they consumed less memory. However, to achieve that, he needed a better way of organizing the data that the pointers would point to.

He turned to a common approach for storing data known as a hash table. But in the midst of his tinkering, Krapivin realized that he had invented a new kind of hash table, one that worked faster than expected — taking less time and fewer steps to find specific elements. […]

Read the full Quanta Magazine article here.
Writer: Steve Nadis

💻 ⚛️ - 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. 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 Innovation s'est entretenu avec Iordanis Kerenidis, 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.

Pour lire l'article, rendez-vous sur cette page.
Un article réalisé par Martin Koppe.

Dans le cadre de la Journée internationale des femmes et des filles de science, qui a lieu chaque année le 11 février, l’ANR a interviewé Claire Mathieu, directrice de recherche en informatique.

Elle y parle de ses travaux, notamment sur l’approximation pour résoudre des problèmes complexes. Scientifique reconnue par ses pairs, elle évoque également les défis auxquels les femmes sont confrontées dans ces carrières : les obstacles à surmonter, les choix parfois difficiles entre vie personnelle et recherche. Elle illustre aussi comment une simple phrase peut parfois changer une vie…

👉 Découvrez son interview vidéo et l’article réalisé par l’ANR.

CNRS Editions, Le Calcul à Découvert, sous la direction de Mokrane Bouzeghoub, Michel Daydé, Christian Jutten avec le concours d’Elsa Godet, infographiste et journaliste scientifique

The CNRS editions has published a new book on the history of calculus, titled Le calcul à découvert.

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

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. […]“

Find more about this publication here.

Maël Luce, a former PhD student at IRIF, defended his thesis on Tuesday, December 17, 2024, under the supervision of Pierre Fraigniaud and Ioan Todinca. His thesis was titled “Distributed Randomized and Quantum Algorithms for Cycle Detection in Networks”.

“Dans notre cas, deux nœuds constituants du réseau sont reliés par une arête s'ils peuvent communiquer l'un avec l'autre. Ayant l'intuition que pour ce problème toute amélioration des algorithmes classiques pourrait servir à élaborer des algorithmes quantiques encore plus efficaces, nous avons traité le problème de la détection des cycles de longueur fixe dans ces graphes-réseaux.”

Retrouvez son portrait complet ici.

Srinidhi Nagendra, a former PhD student at IRIF, defended his thesis on Thursday, December 19, 2024, under the supervision of Constantin Enea and Mandayam Srivas. His thesis was titled “Automated Testing of Distributed Protocol Implementations”.

“These program [ed. distributed programs] form the backbone of many modern internet services. For example, they power large databases that store data in the cloud. In my thesis, I introduce new techniques to find correctness bugs in distributed programs.”

Read his full interview here.
Link to his PhD thesis: Automated testing of distributed protocol implementations

On the 10th and 11th of February 2025, the 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)
Title: IA : vers des principes éthiques partagés et intégrés dans les algorithmes
Newspaper: The Conversation
Author: Christian Goglin
Find more about the summit on AI here

“How Computer Scientists Reimagined Mathematical Proof” article explores how computer scientists have reimagined mathematical proofs, expanding their potential beyond traditional methods. Classical proofs rely on step-by-step arguments to be verified manually, but theoretical computer scientists have developed innovative approaches over the past few decades. The key advancements include:

• Interactive Proofs: Introduced in the 1980s. These allow solutions to be verified through interactive processes rather than static written arguments. They are more powerful than traditional proofs, capable of validating solutions to harder problems.
• Zero-knowledge proofs: Invented in the 1980s, these prove a statement's truth without revealing why it’s true, revolutionizing how we think about proofs,
• Probabilistically checkable proofs (PCPs): Developed in the 1990s, these allow verification by examining small parts of the argument, making them highly efficient
• Quantum Interactive Proofs: By extending proofs to multiple quantum computers, researchers discovered in 2020 that such proofs can verify the results of any computation, linking them to broader mathematical and physical questions.
• Curry-Howard Correspondence: This concept equates proofs with computer programs, forming the foundation of proof-assistant software. These tools have helped mathematicians verify proofs, collaborate, and democratize access to the field.

These innovations have profoundly impacted mathematics, computer science, and even quantum physics, challenging our intuitive understanding of what makes an argument convincing.

Read the full article here.
Title: How Computer Scientists Reimagined Mathematical Proof
Journalist: BEN BRUBAKER

Valérie Berthé

Détrompez-vous, répondre à une demande de projet ERC n'est pas aussi rebutant que cela paraît être. C'est justement ce que Valérie Berthé, directrice de recherche à l'IRIF, traduit dans cet entretien : son plaisir de brainstormer entre chercheuses et chercheurs, à rédiger et à combiner des idées afin de créer un projet. Le message qu'elle aimerait faire passer ? Que d'autres tentent l'aventure de la bourse Synergie offerte par l'ERC. Valérie Berthé, avec deux autres PIs, travaillera sur le model checking vu d'un point de vue dynamique et arithmétique. Leur objectif principal ? Résoudre des conjectures encore irrésolues. Rencontre avec Valérie Berthé, directrice de recherche au CNRS, qui a co-obtenu un financement pour son projet ERC Synergie.

“Nous voulons utiliser les [systèmes dynamiques] pour comprendre le model checking et dans ce cadre, nous cherchons à vérifier les propriétés et les spécifications qui sont exprimées dans une certaine logique. Notre objectif est de le faire de manière automatisée. On cherche à décider si les propriétés sont vraies, ou à montrer qu'elles ont tel type de complexité dans leurs résolutions. C'est le point de vue que l'on a sur ces trajectoires de systèmes dynamiques, ce qui ne nous empêche pas, pour comprendre tout cela, d'inclure des points de vue classiques […].”

Pour lire son interview complète, rendez-vous sur cette page.

A one-day training session in French on trans identity is being organized by the IRIF equality commission. It will take place at IRIF on December 10. The non-profit https://www.outrans.org/OUTrans “offers training or awareness sessions on trans identities and the inclusion of trans individuals. These workshops are intended for all staff members of organizations that welcome trans individuals”.

In general, the training sessions follow this structure, which can be adapted depending on the exchanges with the participants:

• Introduction to the organization, the framework of the session, and a round of introductions with participants and their expectations
• A glossary to ensure everyone understands and uses the same terms, as well as terms to avoid and those to prioritize
• The different aspects of transition: social, legal, and medical
• The living conditions of trans individuals to better understand the realities of trans lives
• Legal framework and regulations in higher education
• Welcoming trans individuals with concrete steps to improve practices.

If you wish to participate, please fill this form.

During the EACSL conference, the Ackermann Award recognizes outstanding dissertations for Logic in Computer Science.
This year, the prize has been awarded to two thesis supervised at the lab: the laureates are Gaëtan Douéneau-Tabot for his thesis “Optimization of string transducers supervised” by Olivier Carton and Emmanuel Filiot at Université Paris-Cité (France) and Aliaume Lopez for his thesis “First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions” supervised by Jean Goubault-Larrecq and Sylvain Schmitz at ENS Paris-Saclay and Université Paris-Cité (France), respectively.
They will receive their prize to CSL 2025, in Amsterdam, which will take place from 10 to 14 February 2025.

Find more information in this ENS french article which provides insights in both of their thesis.

What is the best way to traverse a graph ? Computer scientists have finally proven that Dijkstra's algorithm is no longer just one of the best methods for finding a graph’s optimal routes — it is simply the best and most efficient one. In practical applications, this algorithm can be used, for example, with road maps to determine the best route between two destinations. Dijkstra's algorithm adapts effectively to various situations, such as road accidents or traffic, by recalculating to find the most efficient path.

“If you’ve been making the same commute for a long time, you’ve probably settled on what seems like the best route. But “best” is a slippery concept. Perhaps one day there’s an accident or road closure, and your fastest route becomes the slowest. Scenarios like this are also a challenge for researchers who develop algorithms, the step-by-step procedures that computers use to solve problems. Many different algorithms can solve any given problem, and the question of which is best can be frustratingly ambiguous. For example, imagine an algorithm that’s designed to find the fastest route between two points. There are lots of possible ways to design such an algorithm so that it doesn’t fail. A successful algorithm will always return the fastest route, whether you use it in London or Los Angeles, and whether it’s rush hour or the middle of the night.” […]

Read the full article here.
Title : Computer Scientists Establish the Best Way to Traverse a Graph
Newspaper : QuantaMagazine

Klara Nosan, ancienne doctorante à l'IRIF, a soutenu sa thèse le 4 octobre 2024. Son sujet était les problèmes de zéros dans les modèles polynomiaux.

“Les polynômes sont les éléments constitutifs de nombreux modèles mathématiques en physique, chimie, biologie, économie, et dans de nombreuses autres disciplines ; calculer avec des polynômes est fondamental. En effet, nous apprenons tous à résoudre des équations quadratiques à l’école — mais comment feriez-vous pour trouver les zéros d’un polynôme de degré supérieur ? Ou mieux encore, pour résoudre tout un système d’équations polynomiales ?”

Rendez-vous sur cette page pour lire son portrait complet.

EN: The IRIF equality committee would like to ask for your help by answering this survey. The purpose of this questionnaire is to inventarize any possible problems with current conditions in the lab that we may not know about, and to make sure that the committee’s actions accurately reflect all lab members’ needs.

The questions have been constructed by the members of IRIF’s equality committee. Some of the questions are necessarily of a sensitive nature as they deal with potential difficulties and negative experiences that one may encounter at the workplace. For all questions, answering them is optional, and you will be anonymous by default, unless you volunteer to give your name at the end of the questionnaire.

I'm taking the survey in English.

FR: Le comité égalité de l'IRIF a besoin de votre aide en répondant aux questions de ce sondage. L'objectif de ce questionnaire est d'inventorier les problèmes éventuels liés aux conditions actuelles du laboratoire que nous ne connaissons pas, et de s'assurer que les actions du comité reflètent fidèlement les besoins de tous les membres du laboratoire.

Les questions ont été élaborées par les membres de la commission égalité de l'IRIF. Certaines questions sont nécessairement de nature sensible car elles traitent de difficultés potentielles et d'expériences négatives que l'on peut rencontrer sur le lieu de travail. Pour toutes les questions, la réponse est facultative et vous serez anonyme par défaut, sauf si vous vous portez volontaire pour donner votre nom à la fin du questionnaire.

Je réponds au sondage en français.

Dynamique, curieuse et enjouée, Cléophée est une chercheuse passionnée, qui navigue entre informatique et musique. Férue de graphes, elle est également éprise de recherche opérationnelle. Enfin, Cléophée s'intéresse à la médiation scientifique et plus particulièrement au jeu de “La chasse à la bête”, qu'elle sera heureuse de vous présenter. Rencontre avec Cléophée Robin, nouvelle maîtresse de conférence à l'IRIF.

“Ce qui m'intéresse, c'est de mettre des contraintes sur mes graphes et de chercher à quoi est-ce qu'ils vont ressembler. En d'autres termes, je me demande si je peux avoir une “recette de cuisine” qui construit tous les graphes de ma famille.” Cléophée Robin, maîtresse de conférence | Pôle Algorithmes et structures discrètes - Équipe Théorie et algorithmique des graphes.

Pour lire la suite de son portrait, c'est ici !

What is the best shape of tiles to fill space the most efficient way? This Quantamagazine article, “Why Is This Shape So Terrible to Pack?” adresses this question based on a conjecture that two mathematicans have successfully proven.

“For centuries, mathematicians suspected that hexagonal tiles are the best possible way to fill space. By this they mean that if you want to subdivide a large area into tiles of equal size while minimizing the perimeter of each tile, you can’t do any better than hexagons. In 1999, Thomas Hales (opens a new tab) of the University of Pittsburgh finally proved it (opens a new tab). They’re better than squares, triangles, or any other alternative. But many shapes can’t be tiled without leaving gaps. Circles, for example, obviously can’t. With the best possible formation, a hexagonal-shaped circle packing, you’ll fill nearly 90.69% of the plane.”

You can read the article written by Gregory Barber here.

The new edition of the review Sciences & Avenir is dedicated to the quantum. Simon Apers and Sophie Laplante contributed to the quantum algorihtms. Sophie Laplante begins by explaining how quantum qubits work, presenting the logic and quantum gates. Simon Apers presents the many possibilities of the HHL algorithm and the challenges of reading quantum results.

You can find the whole file here and in the university library.

Lorsqu'on rencontre le calme Julien, il semble impossible de l'imaginer sur des rollers et encore moins faire du roller-hockey. Et pourtant ! Passionné de Coq, de géométrie et de logique, Julien attache une grande importance à la pédagogie et à la transmission, ainsi qu'à l'interdisciplinarité. Rencontre avec Julien Narboux, nouveau maître de conférence à l'IRIF.

“Ça m'a amené à m'intéresser aux fondements de la géométrie, puis à la frontière avec la démonstration automatique appliquée à la géométrie, avec des sujets connexes tels que comment générer des preuves lisibles ou comment améliorer les systèmes pour que ce soit plus facile de formaliser des preuves.” Julien Narboux, maître de conférence | Pôle Preuves, programmes et systèmes - Équipe Analyse et conception de systèmes et Preuves et programmes.

Lisez son portrait en entier ici.

This announcement will exceptionally be in French since it's an event for French-speaking people. Thank you for your understanding.

La Fête de la Science se déroulera cette année du 4 au 14 octobre 2024. Comme chaque année, l'IRIF et l'UFR d'Informatique se mobilisent pour proposer en semaine des activités à des classes de primaire et du secondaire, afin de leur faire découvrir le monde de l'informatique. Que ce soit par des activités débranchées ou par de l'initiation à la programmation, toutes les activités de vulgarisation en informatique sont bienvenues ! Les classes accueillies viennent sur des créneaux de 3h. Elles sont divisées en deux groupes : une partie activités débranchées (où plusieurs activités sont proposées) et une partie initiation à la programmation.

Pour faire de cet évènement une réussite, nous avons besoin de réunir un maximum de personnes ! Si vous êtes intéressé-e-s ou si vous avez des questions, n'hésitez pas à nous contacter à fdlsinfo@irif.fr.

Pour connaître toutes les activités proposées les années précédentes, rendez-vous sur le site de la Fête de la Science à l'IRIF.

Forte de sa curiosité, Christina est passionnée par son domaine, la cryptographie, qu'elle aime développer et voir évoluer. Si travailler avec elle est gage d'engagement et de fiabilité, ce sera aussi l'occasion de rencontrer une passionnée d'arts, que ce soit de musées ou de cinéma. Rencontre avec Christina Boura, nouvelle professeure des universités à l'IRIF.

“Dans le cadre de ma recherche, je m'intéresse plus particulièrement à l’étude de la sécurité des chiffrements et autres primitives symétriques. C’est ce qu’on appelle la cryptanalyse. C'est un travail très important qui n'a pas de limites, puisqu'il y a toujours de nouveaux chiffrements ou d'autres primitives cryptographiques symétriques à étudier, de nouvelles techniques de cryptanalyse à concevoir ou d’autres à améliorer et à généraliser.” Christina Boura, professeure des universités | Pôle Algorithmes et structures discrètes - Équipe Algorithmes et complexité.

Retrouvez son interview complète ici.

FR | En plus de sa grande jovialité, Alexandre est le réel couteau suisse dont tout laboratoire peut rêver : autodidacte, il est capable de monter en compétences rapidement, il s'adapte aux demandes et est ouvert à tout nouveau projet. Passionné d'informatique, rien ne l'arrête. Mais, Alexandre est également un intellectuel, amoureux des lettres ainsi que du sport.
Rencontre avec Alexandre Roulois, nouvel informaticien du laboratoire, chargé web et assistance utilisateur.

“Aujourd'hui, je ne sais pas encore tout à fait ce que signifie être informaticien à l’Irif ; ça peut être très varié, comme mettre en place des ordinateurs, faire du support, se pencher sur des problèmes matériels, mais également ce que je faisais avant, des logiciels et des programmes informatiques. Mes missions vont évoluer et se créer en fonction des besoins du laboratoire.”

Lisez son portrait complet ici.

EN | In addition to his great cheerfulness, Alexandre is the true jack of all trades that any lab could dream of: self-taught, he is capable of quickly gaining new skills, he adapts to requests, and is open to any new project. Passionate about IT, nothing stops him. But Alexandre is also an intellectual, a lover of literature and sports.
Meet Alexandre Roulois, the new IT specialist at the lab, in charge of web and user support.

“Today, I still don't quite know what it means to be an IT specialist at Irif; it can vary a lot, like setting up computers, providing support, dealing with hardware issues, but also what I used to do before, software and computer programs. My tasks will evolve and develop according to the needs of the lab.”

Read his full portray here.

This announcement will exceptionally be in French since it's an event for French-speaking people. Thank you for your understanding.

La Fête de la Science se déroulera cette année du 4 au 14 octobre 2024. Comme chaque année, l'IRIF se mobilise pour proposer en semaine des activités à des classes de primaire et du secondaire, afin de leur faire découvrir le monde de l'informatique. Que ce soit par des activités débranchées ou par de l'initiation à la programmation, toutes les activités de vulgarisation en informatique sont bienvenues ! Les classes accueillies viennent sur des créneaux de 3h. Elles sont divisées en deux groupes : une partie activités débranchées (où plusieurs activités sont proposées) et une partie initiation à la programmation.

Afin d'amorcer la préparation de l'évènement, merci de signaler votre intérêt à fdlsinfo@irif.fr. Même si certains d'entre vous sont en attente de leurs planning d'enseignement, n'hésitez pas à nous contacter. Pour faire de cet évènement une réussite, il est nécessaire de réunir un maximum de membres de l'IRIF. Merci donc par avance pour votre mobilisation !

Pour connaître toutes les activités proposées les années précédentes, rendez-vous sur le site de la Fête de la Science à l'IRIF.

Is curiosity really a bad flaw? With Michele Orrù, the answer is simple: no! As a self-taught programmer, he made his path through the computer science community to the whistleblower community, interested in anonymity and cryptography from a young age.

“I’m interested in the intersection between authentication and anonymity, questions such as what does it mean to have an identity with respect to someone? What can you disclose? What can you convince about yourself to someone else? My interest in this subject is not only because it's mathematically interesting, but also because it is philosophically stimulating and of great relevance in society.”

Read the full interview of Michele Orrù, new CNRS researcher at IRIF.

This coming Sunday, June 30, 2024, the French population will head to the polls to cast their votes in the first round of the legislative elections. In the current political climate, the outcomes of this election could have a profound impact on universities, public research, and the values of universality that underpin them. It is for this reason that we urge all eligible voters to exercise their right to vote.

The significance of these elections for French public research has been clearly articulated in a series of op-eds and appeals to which we align ourselves: the press release from France Universities, the one from Udice of which the Université Paris Cité is a member, and the op-ed in Le Monde co-signed by the CEO of the CNRS.

The stakes are high; the upcoming elections are crucial for the future of public research and of the nation. Your voice holds power and can influence the nation's trajectory. Embrace your responsibility for the future of research and the nation by making an informed decision that aligns with our shared values and aspirations.

FR | Cette année, le prix Alonzo Church ¹⁾, a récompensé Thomas Ehrhard, directeur de recherche du CNRS à l'IRIF et Laurent Regnier, professeur à Aix-Marseille Université et membre de l'Institut de Mathématiques de Marseille. Ce prix distingue cinq de leurs articles et reconnait l'importance du travail qu'ils ont mené sur le lambda calcul.
Rencontre avec Thomas Ehrhard, co-lauréat du Prix Alonzo Church 2024 et directeur de recherche à l'IRIF.

EN | This year, the Alonzo Church Award ²⁾, honored Thomas Ehrhard, CNRS research director at IRIF, and Laurent Regnier, professor at Aix-Marseille Université and member of the Institut de Mathématiques de Marseille. This award distinguishes five of their articles and recognizes the importance of their work on lambda calculus.
Meeting with Thomas Ehrhard, co-recipient of the 2024 Alonzo Church Award and research director at IRIF.

FR : Lisez l'article complet ici | EN: Read the full article here.

Randomness has been used by mathematicians since the 1940s and has been a very powerful tool: in graph theory, it helped to prove the existence of cliqueless graph of a given size, in information theory, it demonstrated that ways to transmit a huge amount of information over a noisy channel exist. It then spread to many various fields such as “in geometry, analysis (an advanced form of calculus), combinatorics (the study of counting methods) and computer science.” Nowadays, randomness is used in what is called Ramsey theory, “which studies the unavoidable formation of cliques in graphs”.

Read the full Quanta Magazine article The Counterintuitive Power of Randomness, by Jordana Cepelewicz (from June 10, 2024) here.

Matrices “are used to interpret in computational, and thus operational, terms the theoretical results of linear algebra and even bilinear algebra.” (according to wikipédia source). The issue with matrix is that it can take a huge amount of time to solve them, whether you are a human or a computer. Therefore, the challenge is to find a way to reduce the time to solve operations. It can be used in any field such as in machine learning.

To calculate those matrices faster, Volker Strassen founded a way to multiply them : “In the 1960s, mathematicians and computer scientists wondered whether matrices could be multiplied with fewer operations. “Volker Strassen was convinced it was not possible. It was nevertheless he who discovered an algorithm that can solve a matrix product in less than n3 steps,” says Pernet with a wry smile. This discovery launched a quest for the optimal algorithm for matrix products! “The primary motivation is to conduct calculations quickly,” adds Le Gall. Indeed, multiplying two matrices takes time: 30 seconds for two matrices of 10,000 rows and 10,000 columns, but 4 minutes with twice the number of rows and columns. Finding an algorithm that reduces the number of calculation steps would reduce overall computation time. This reduction is all the more discernible as matrix size increases.”

Read the full article here.

CodaLab is the world's leading platform for AI competitions. By participating, users help to resolve scientific and societal challenges. CodaLab is the most widely used platform for machine learning competitions globally, ahead of Google's Kaggle and Alibaba's Tianchi. It is fully open-source and developed by LISN lab.

“Most of the challenges hosted by CodaLab focus on applications in computer vision and language processing for health, energy, and ecology.

The organizer proposes a scientific problem by providing their data and invites data scientists to contribute to its resolution. In practice, the competitions rely on the submission of results, particularly in image classification.

They can also be focused on data. This is the case for challenges based on adversarial testing, for example. For language models, the goal is to ensure that the algorithms' responses to queries are appropriate for children, ensure people's safety, do not incite violence, etc. All submissions to the various competitions are then made publicly available to benefit the entire community.”

Read the full article here.

Retour sur les interventions de trois scientifiques de l'IRIF à l'occasion de 🍻 Pint of Science 2024.
Le festival Pint of Science est un festival de médiation scientifique international qui met en contact des scientifiques avec le public dans des bars et d'autres lieux publics pour partager leurs recherches et leurs découvertes.
A look back at what three IRIF scientists had to say at 🍻 Pint of Science 2024.
Pint of Science is an international science mediation festival that brings scientists into contact with the public in bars and other public venues to share their research and discoveries.

David Saulpic
May 13 at Les Marquises in Paris
Theme of the night: Navigating a digital maze: Trust, bias & privacy
Can we use algorithms to stay private?
Most of the systems we use daily collect our hashtag#data, from our phones to our Navigo cards. Our activities are tracked and analyzed to improve the performance of the metro or to target better commercial products. Would this be possible “privately”? There is a wide range of options, though not all of them are wise. Looking at some historical failures, we can grasp how powerful computers and big data have changed the privacy game. We will examine together some of the new challenges and possible solutions.

Reza Naserasr
May 14 at La Ferme in Paris
Theme of the night: Infinity's whimsy: A graphical odyssey
Graphs as model for networks
Graphs are like hashtag#maps that help us understand connections between different things, like friends in a social network or streets in a city. They are made of dots (nodes) connected by lines (edges), showing how things are linked. Tonight, we will talk about some common problems involving graphs and how they're used to solve everyday issues. And for a bit of fun, we'll try out a classic puzzle from way back in Euler's time (1736): finding a route on a map that crosses every bridge exactly once.

Sophie Laplante
May 15 at the Bistrot des artistes in Paris
Theme of the night: Call of Physics
Discovering quantum computing
How do quantum computers use the singular properties of hashtag#quantum mechanics to their advantage? We'll unravel this mystery with a cheerful collection of colorful objects that will help you get to grips with the elusive quantum state. We'll manipulate them in a collective game, like the operations at the heart of quantum calculations.

David Saulpic, chargé de recherche a rejoint l'IRIF au pôle Algorithmes et structures discrètes, au sein de l'équipe Algorithmes et complexité. Sa tranquillité apparente cache une énergie débordante. Passionné d'algorithmique, il utilise une partie de sa recherche pour étudier des problèmes de société. Ajouté à cela, la médiation scientifique fait partie intégrante de son parcours.

“Mon domaine de recherche principal est l’étude théorique de problèmes de clustering : le but de ces problèmes est de trouver un « bon » résumé d'un d’ensemble de points. […] Depuis plusieurs années, je m'attache également à rapprocher ces travaux algorithmiques de questions de société.”

Retrouvez l'article complet ici.

For the second IRIF Distinguished Talk of 2024, we have the pleasure to receive Omer Reingold, professor of computer science at Stanford University and the director of the Simons Collaboration on the Theory of Algorithmic Fairness, who will give a talk on The multitude of group affiliations: Algorithmic Fairness, Loss Minimization and Outcome Indistinguishability

He granted us an interview to give us an overview of his theme, which he will present on 14 May 2024, from 11am to 12.30pm.

“To address this challenge, we employ the concept of multi-group fairness, which involves scrutinizing numerous subpopulations simultaneously to ensure accuracy across all groups. Traditionally, fairness considerations focused on only a handful of subpopulations based on factors like gender, race, or age. However, this approach has proven inadequate, particularly due to issues of intersectionality, where individuals may face unique challenges at the intersection of multiple identity categories.”

Read the full interview here.

Tayssir Touili, directrice de recherche a très récemment rejoint l'Irif. Elle fait partie du pôle Automates, structures et vérification et de l'équipe Modélisation et vérification.

Comme un automate à piles, Tayssir Touili déborde d'énergie. Grande passionnée de mathématiques, elle s'est jetée corps et âme dans une grande aventure, celle de contrer les malware. Amatrice de sports d'extérieurs, elle sera également heureuse de vous rencontrer autour d'une partie d'échec. Rencontre avec Tayssir Touili, nouvelle directrice de recherche à l'IRIF.

“Ce qu'il nous faut, c'est une technique qui va analyser le comportement du programme et non pas sa syntaxe, comme la signature matching et sans l'exécuter puisqu'il ne peut pas l'être indéfiniment. C’est justement ce que permet de faire le model checking, une technique qui analyse les comportements des systèmes. Mon idée a donc été de dire, appliquons le model cheking pour la détection de malware. C'est ce sur quoi porte mon travail aujourd'hui.”

Retrouvez l'article complet ici.

The world of scientific research is not immune to fraud. While the scientific journal “Science” recently faced a scandal involving a number of images that were hijacked to misrepresent some of its articles, AI tools will now be used to ensure that this is no longer possible. AI is being used more and more, not only for images but also to detect plagiarism and ensure the integrity of articles. This use of artificial intelligence would also enable researchers to avoid unintentional errors, which sometimes affect their careers. Finally, given the general public's growing distrust of scientific research, this is also a way of preventing the dissemination of false information.

Read the (french) article here : L’intelligence artificielle pour prévenir la fraude scientifique, par Hervé Morin. Journal Le Monde, 02/02/2024
Read directly on Le Monde website.

Avi Wigderson has been honored with the Turing Award for “groundbreaking insights on randomness”. The Association for Computing Machinery (ACM) grants “Innovation and Recognizing Achievements and Lasting Contributions. ACM recognizes excellence in computer science and information technology through its eminent series of awards.”

“Wigderson is recognized for reshaping our understanding of the role of randomness in computation, and for decades of intellectual leadership in theoretical computer science.
ACM has named Avi Wigderson as recipient of the 2023 ACM A.M. Turing Award for foundational contributions to the theory of computation, including reshaping our understanding of the role of randomness in computation, and for his decades of intellectual leadership in theoretical computer science.
Wigderson is the Herbert H. Maass Professor in the School of Mathematics at the Institute for Advanced Study in Princeton, New Jersey. He has been a leading figure in areas including computational complexity theory, algorithms and optimization, randomness and cryptography, parallel and distributed computation, combinatorics, and graph theory, as well as connections between theoretical computer science and mathematics and science.”

Find here the announce of the attribution of the Turing Award
More information on the importance of Avi Wigderson research on Theoretical Computer Science
Read here the QuantaMagazine article: Avi Wigderson, Complexity Theory Pioneer, Wins Turing Award

The Best Qubits for Quantum Computing Might Just Be Atoms

“At the end of last year, the tech giant IBM announced what might sound like a milestone in quantum computing: the first-ever chip, called the Condor, with more than 1,000 quantum bits, or qubits. Given that this was barely two years after the company unveiled the Eagle, the first chip with more than 100 qubits, it looked as though the field was racing forward. Making quantum computers that can solve useful problems beyond the scope of even the mightiest of today’s classical supercomputers demands scaling them up even more — to perhaps many tens or hundreds of thousands of qubits. But that’s surely just a matter of engineering, right?

Not necessarily. The challenges of scaling up are so great that some researchers think it will require totally different hardware from the microelectronics used by the likes of IBM and Google. The qubits in the Condor and in Google’s Sycamore chip are made from loops of superconducting material. These superconducting qubits have so far been the hare in the race to full-scale quantum computing. But now there’s a tortoise coming from behind: qubits made from individual atoms.

Recent advances have transformed these “neutral-atom qubits” from outsiders to leading contenders.”

Read the full article in Quanta Magazine.

🎉 Three projects from IRIF researchers have been selected to be presented at the 2024 Pint of Science France event.
This event aims to popularize scientific subjects in a very informal place, a bar. Join them to discover in a new way new aspects of computer science.

🎟 Tickets go on sale on 8 April.

1️⃣ 🔐 Can we use algorithms to stay private?
David FindmyName
Theme of the night: Navigating a digital maze: Trust, bias & privacy

“Most of the systems we use daily collect our #data, from our phones to our Navigo cards. Our activities are tracked and analyzed to improve the performance of the metro or to target better commercial products. Would this be possible “privately”? There is a wide range of options, though not all of them are wise. Looking at some historical failures, we can grasp how powerful computers and big data have changed the privacy game. We will examine together some of the new challenges and possible solutions. As a warm-up: can you discover my name?”

📅 May, 13
📍 Les Marquises , 145 Rue Oberkampf, 75011, Paris
🗣 English speaking
🔗 https://pintofscience.fr/event/navigating-a-digital-maze-trust-bias-and-privacy

2️⃣ 🗺 Graphs as model for networks
Reza Naserasr
Theme of the night: Infinity's whimsy: A graphical odyssey

“Graphs are like #maps that help us understand connections between different things, like friends in a social network or streets in a city. They are made of dots (nodes) connected by lines (edges), showing how things are linked. Tonight, we will talk about some common problems involving graphs and how they're used to solve everyday issues. And for a bit of fun, we'll try out a classic puzzle from way back in Euler's time (1736): finding a route on a map that crosses every bridge exactly once.”

📅 May, 14
📍 La Ferme, 5 Rue des Petites Écuries 75010, Paris
🗣 English speaking
🔗 https://pintofscience.fr/event/infinitys-whimsy-a-graphical-odyssey

3️⃣ ⚛ A la découverte du calcul quantique
Sophie Laplante
Theme of the night: Call of Physics

“Comment les ordinateurs quantiques utilisent-ils à leur avantage les propriétés singulières de la mécanique #quantique ? Nous éclaircirons ce mystère à l’aide d'une joyeuse collection d’objets hauts en couleurs qui vous permettront de vous emparer de l’insaisissable état quantique. Nous les manipulerons dans un jeu collectif, à la manière des opérations qui sont au cœur des calculs quantiques.”

📅 May, 15
📍 Bistrot des Artistes, 6 Rue des Anglais 75005, Paris
🗣 French speaking
🔗 https://pintofscience.fr/event/call-of-physics

Michel Talagrand, former research director at CNRS in the Institut de Mathématiques de Jussieu – Paris Rive Gauche has been awarded the Abel prize 2024, an international mathematics prize awarded annually. The jury has honored him with this prize for his contibutions to probability theory and functional analysis, with applications in mathematical physics and statistics. He is a member of the Académie des Sciences.

“A student of Gustave Choquet, his scientific contributions cover topics ranging from measurement theory and functional analysis to probability theory and statistical physics. He proved several important conjectures, such as Fernique's conjecture on the regularity of Gaussian processes, the three-space problem for L1, Parisi's formula in spin glass theory, and Maharam's problem in measurement theory. With his original and innovative ideas and methods, Michel Talagrand has left his mark on several fields of mathematics with results and contributions of the highest order.”

Read here the CNRS Mathematiques article: Michel Talagrand awarded the 2024 Abel Prize
Watch here the CNRS meeting with Michel Talagrand (in french) : Rencontre avec Michel Talagrand, mathématicien, lauréat du Prix Abel 2024 | Actu CNRS
The Abel Prize : 2024: Michel Talagrand
To have an insight of his life and how he became such a mathematician, read the Quantum article: Michel Talagrand Wins Abel Prize for Work Wrangling Randomness

“New Breakthrough Brings Matrix Multiplication Closer to Ideal
By eliminating a hidden inefficiency, computer scientists have come up with a new way to multiply large matrices that’s faster than ever.

[…]

Now, three researchers — Ran Duan and Renfei Zhou of Tsinghua University and Hongxun Wu of the University of California, Berkeley — have taken a major step forward in attacking this perennial problem. Their new results, presented last November at the Foundations of Computer Science conference, stem from an unexpected new technique, Le Gall said. Although the improvement itself was relatively small, Le Gall called it “conceptually larger than other previous ones.”

The technique reveals a previously unknown and hence untapped source of potential improvements, and it has already borne fruit: A second paper, published in January, builds upon the first to show how matrix multiplication can be boosted even further.”

Read the full article on Quanta Magazine.

Il ne faut pas se méprendre ; sous ses airs timides, Guillaume Baudart apprécie plus que tout les rencontres et les échanges. En sciences ou en musique ? Pourquoi pas les deux ! Curieux, il aime découvrir de nouvelles choses, et s'intéresse beaucoup aux nouvelles technologies. Rencontre avec Guillaume Baudart, nouveau chargé de recherche à l'IRIF.

“La programmation probabiliste est un projet que j'ai démarré à IBM. L'idée, c'est de prendre un language de programmation classique et d'ajouter la possibilité de manipuler des distributions et de faire du résonnement bayésien, donc de faire de l'apprentissage sur les distributions.” Guillaume Baudart, chargé de recherche | Pôle Preuves, programmes et systèmes - Équipes Analyse et conception de systèmes, Preuves et programmes et Picube (Inria).

Retrouvez l'intégralité de son portrait ici.

Organized within the Computer Science Department by François Laroussinie, the second french speaking conference « On éteint, on réfléchit, on discute » on «Les communs numériques» (“Digital Commons”) will take place on Tuesday, March 19, from 4 pm to 6 pm in auditorium 10E at La Halle aux Farines.

“While we often talk about the GAFAM, the monopolization of internet users' data, and their commercial exploitation, we also know and use open encyclopedia Wikipedia, the cartographic project OpenStreetMap, or open-source software that, conversely, relies on collaboration among internet users. So, there's a realm of computing that shares, cooperates, that creates 'common' resources. The term 'digital commons' has recently emerged, and we invite Serge Abiteboul and Valérie Peugeot to discuss it.”

Find all the information on the UFR conference page.

Claire Mathieu, chercheuse en informatique et en mathématiques sur la conception et l'analyse d'algorithmes au CNRS à l’IRIF, a obtenu de nombreuses marques reconnaissance dans le monde académique, par sa nomination à la Chaire annuelle Informatique et sciences numériques du Collège de France de 2017 à 2018, suivie de la médaille d'argent du CNRS en 2019. Elle a participé à la conception des algorithmes de Parcoursup. En décembre 2019, elle intègre l'Académie des Sciences, dans la section des sciences mécaniques et informatiques, puis obtient le titre de Fellow de l'EATCS en 2023 pour ses contributions fondamentales aux algorithmes d'approximation, aux algorithmes en ligne et à la théorie des enchères. En 2020, elle est faite Chevalière de la Légion d'honneur. Et fin 2023, elle est retenue pour intégrer le Conseil Présidentiel de la Science. Retour sur une participation éclair mais non pas moins remarquée.

Le portrait complet est disponible ici.

To keep up with scientific innovations in computer science, such as those in quantum computing, it is necessary to enhance the power of computers. To achieve this, electronics play a crucial role, and silicon, widely used, is facing its limits.

Graphene, a two-dimensional crystal of carbon atoms arranged regularly in a hexagonal lattice resembling a honeycomb, is defined as a “miracle” or “revolutionary” material. It is said to be in the process of replacing copper and steel because it is a better conductor, much more resistant, lighter, flexible, and impermeable. A semiconductor has recently been created from this material and it could “revolutionize the world of electronics and computing.”

“In their graphene-based semiconductor, electrons encounter very low resistance. Researchers speak of mobility ten times higher than that of silicon, suggesting much higher calculation speeds. Without the creation of unwanted heat.
Researchers also reveal that the electrical charges they have observed, like photons in an optical fiber, can travel long distances without dispersing. Specifically, tens of thousands of nanometers. In the new device, electrons seem to exhibit wave-like properties of quantum mechanics accessible in devices, particularly at very low temperatures. They could thus help overcome the numerous challenges related to the creation of quantum computers.”

You can read the full article on Futura.

Following a sociological study of 45 16-year-old girls taking part in a maths course, a book was published by CNRS: Matheuses: les filles, avenir des mathématiques.

The study was conducted as part of Les Cigales, a free maths course for Year 11 and 11 students at CIRM, aimed exclusively at women.

10 chapters highlighting gender inequalities in mathematics and computer science, and offering ways of combating them. Each sociology chapter is followed by an open-ended maths problem that can be tackled from the start of secondary school, to help them discover the research process.

Who said that the humanities and social sciences couldn't form a whole?