4.7.2025
Félicitations à Marie Albenque et Sylvain Schmitz qui viennent d'être élus au Comité National de la Recherche Scientifique (CoNRS)

8.7.2025
Journées PPS 2025

The 2025 PPS Days will take place from Tuesday, July 1 to Thursday, July 3. In particular they will contain:

• a general meeting of PPS on July 2, at 16:00,
• an invited talk by Guy McCusker on July 3, at 10:00.

They will mainly be located in the Pierre-Gilles de Gennes amphitheater of Université Paris Cité, Condorcet building.

18.6.2025
Mouloud Amara (étudiant master MPRI), Mohammed Foughali, Giovanni Bernardi et Adrian Francalanza (Université de Malte) recevront un Distinguished Paper Award à ECOOP 2025 pour leur papier “A theory of (Linear-Time) Timed Monitors”.

Ce travail, réalisé en grande partie durant la première année de master de Mouloud Amara (TRE + stage d’été), est le premier qui résout le problème de la monitorabilté pour une logique temporisée expressive (elle-même proposée par les auteurs).

Consultez Hal pour avoir plus de détails

18.6.2025
L'IRIF est fier d'annoncer que Mickaël Laurent (doctorant) dont la thèse encadrée à l'Irif par Giuseppe Castagna et co-encadrée par Kim Nguyen au laboratoire LMF vient d'obtenir le prix de thèse GPL (Génie Logiciel et Programmation) 2025

23.5.2025
Nous annonçons avec fierté que neuf papiers de dix scientifiques de l'IRIF on été selectionnés pour l'ICALP 2025! Félicitations à Pierre Fraigniaud, Frédéric Magniez, Simon Apers, Mikaël Rabie, Miklos Santha, Giannos Stamoulis, Olivier Idir, Valérie Berthé, Junyao Zhao et Thomas Colcombet. Vous pouvez retrouver ici tous les papiers acceptés

17.6.2025
Félicitations aux cinq papiers coécrits par des membres de l'IRIF acceptés à la conférence CRYPTO 2025 (conférence de tout premier plan et l'une des deux conférences majeures en cryptographie).

Retrouvez la liste complète des papiers acceptés à CRYPTO 2025

Ou encore la liste plus détaillée avec les abstracts des papiers

2.6.2025
Pour Hugo Herbelin et Paul-André Melliès, le chiffre 4 semble être un porte-bonheur : pendant 4 ans, c'est à 4 qu'ils ont construit leur projet pour finalement obtenir leur bourse Synergie du programme de recherche européen (ERC). Avec Philippe de Groote et Carlos Simpson, la langue naturelle mathématique n'aura plus de secret. Rencontre et échanges avec Hugo Herbelin et Paul-André Melliès, directeurs de recherche Inria, porteurs du projet MALINCA.

“Avec notre ERC, nous espérons pouvoir comprendre comment, à l'intérieur d'un texte mathématique (que l'on peut trouver dans un article, dans une page de livre de maths), qui est écrit dans ce que l'on appelle une langue naturelle (anglais, français, etc.), le texte contient en lui-même les éléments de sa correction mathématique.”

17.6.2025
Félicitations à Niklas Kochdumper (ex-Postdoc de l'IRIF), Mohammed Foughali, Peter Habermehl et Eugene Asarin qui ont reçu le Best Repeatability Award à HSCC 2025 pour leur papier “Robust Identification of Hybrid Automata from Noisy Data”