/***
DO NOT EDIT THIS FILE
This file was automatically generated (date = 2025-07-15, filename =/var/www/dw/data/pages/actualites/index.txt)
***/

/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2025-07-04-elections_marie_albenque_et_sylvain_schmitz.txt
 sorting priority 1
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 |Elections Marie Albenque et Sylvain Schmitz}}</image>
//4.7.2025//\\
Félicitations à Marie Albenque et Sylvain Schmitz qui viennent d'être élus au Comité National de la Recherche Scientifique ([[https://www.cnrs.fr/comitenational/|CoNRS]]) <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2025-07-08-2025_pps_days.txt
 sorting priority 0.66
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/rencontres/pps2025/index|{{:actualites:ressources:logo-irif.png?60 }}]]</image>
//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. [[https://www.irif.fr/rencontres/pps2025/index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2025-06-18-distinguished_paper_award_ecoop_2025.txt
 sorting priority 0.66
***/
<div>
<image shape="thumbnail">[[https://2025.ecoop.org/|{{:actualites:ressources:screenshot_2025-06-18_at_12-03-37_ecoop_2025.png?60 }}]]</image>
//18.6.2025//\\
Mouloud Amara (étudiant master MPRI), Mohammed Foughali, Giovanni Bernardi et Adrian Francalanza (Université de Malte) recevront un [[https://2025.ecoop.org/|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). 

[[https://hal.science/hal-05043055/document|Consultez Hal pour avoir plus de détails]] [[https://hal.science/hal-05043055/document|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2025-06-18-prix_these_gpl_mickael_laurent.txt
 sorting priority 0.66
***/
<div>
<image shape="thumbnail">[[https://gdr-gpl.cnrs.fr/?page_id=376|{{:actualites:ressources:photo-prix_these-beppe.jpeg?60 }}]]</image>
//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 [[https://gdr-gpl.cnrs.fr/?page_id=376 |prix de thèse GPL]] (Génie Logiciel et Programmation) 2025 [[https://www.irif.fr/distinctions/index|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2025-05-23-accepted_papers_icalp_2025.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:csm_icalp_logo_blue_fd80e5f890.png?60 |Logo ICALP 2025}}</image>
//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 [[https://conferences.au.dk/icalp2025/accepted-papers|ici tous les papiers acceptés]] <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2025-06-17-papiers_acceptes_a_la_conference_crypto_2025.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">[[https://www.iacr.org/|{{:actualites:ressources:iacrlogo_small.png?60 |Logo conference}}]]</image>
//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).


[[https://crypto.iacr.org/2025/acceptedpapers.php|Retrouvez la liste complète des papiers acceptés à CRYPTO 2025]]

[[https://www.iacr.org/cryptodb/data/conf.php?year=2025&venue=crypto|Ou encore la liste plus détaillée avec les abstracts des papiers]] <div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2025-06-02-entretien-erc-herbelin-mellies.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">[[https://www.irif.fr/portraits/erc_hherbelin_pamellies|{{portraits:dsc00063.jpg?60 |Entretien avec Hugo Herbelin et Paul-André Melliès, directeurs de recherche Inria à l'IRIF, qui ont obtenu un financement pour leur projet ERC Synergie}}]]</image>
//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.” [[https://www.irif.fr/portraits/erc_hherbelin_pamellies|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


/***
 news produced automatically from /var/www/dw/data/pages/actualites/sources/2025-06-17-_best_repeatability_award__recu_par_des_scientifiques_de_l_irif.txt
 sorting priority 0.33
***/
<div>
<image shape="thumbnail">{{:actualites:ressources:logo-irif.png?60 |https://hscc.acm.org/2025/best-re-award/}}</image>
//17.6.2025//\\
Félicitations à Niklas Kochdumper (ex-Postdoc de l'IRIF), Mohammed Foughali, Peter Habermehl et Eugene Asarin qui ont reçu le [[https://hscc.acm.org/2025/best-re-award/|Best Repeatability Award]] à HSCC 2025 pour leur papier [[https://dl.acm.org/doi/pdf/10.1145/3716863.3718030|“Robust Identification of Hybrid Automata from Noisy Data”]] [[https://dl.acm.org/doi/pdf/10.1145/3716863.3718030|{{icon>arrow-circle-right}}]]
<div clear/>
</div>


<showif mayedit>
<div right>
<btn type="primary" size="xs" icon="fa fa-pencil-square-o">[[https://www.irif.fr/admindb/actus/|edit]]</btn>
</div>
</showif>