/*** DO NOT EDIT THIS FILE This file was automatically generated (date = 2025-07-15, filename =/var/www/dw/data/pages/en/actualites/index.txt) ***/ /*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2025-07-04-elections_marie_albenque_et_sylvain_schmitz.txt sorting priority 1 ***/
{{:actualites:ressources:logo-irif.png?60 |Elections Marie Albenque et Sylvain Schmitz}} //4.7.2025//\\ Congratulations to Marie Albenque and Sylvain Schmitz whom has been elected at the National Scientific Research Comitee (CoNRS)
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2025-07-08-2025_pps_days.txt sorting priority 0.66 ***/
[[https://www.irif.fr/rencontres/pps2025/index|{{:actualites:ressources:logo-irif.png?60 }}]] //8.7.2025//\\ 2025 PPS Days 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}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2025-06-18-distinguished_paper_award_ecoop_2025.txt sorting priority 0.66 ***/
[[https://2025.ecoop.org/|{{:actualites:ressources:screenshot_2025-06-18_at_12-03-37_ecoop_2025.png?60 }}]] //18.6.2025//\\ Mouloud Amara (MPRI student), Mohammed Foughali, Giovanni Bernardi and Adrian Francalanza (University of Malta) will receive a [[https://2025.ecoop.org/|Distinguished Paper Award]] at ECOOP 2025 for their paper “A theory of (Linear-Time) Timed Monitors”. Realised for the most part during Mouloud Amara's first year of MPRI (TRE + summer internship), this is the first work that solves the monitorability problem for an expressive timed logic (proposed also by the authors). [[https://hal.science/hal-05043055/document|Find more details on Hal]] [[https://hal.science/hal-05043055/document|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2025-06-18-prix_these_gpl_mickael_laurent.txt sorting priority 0.66 ***/
[[https://gdr-gpl.cnrs.fr/?page_id=376|{{:actualites:ressources:photo-prix_these-beppe.jpeg?60 }}]] //18.6.2025//\\ IRIF is proud to announce that Mickaël Laurent (PhD student), whose thesis co-supervised by Kim Nguyen at the LMF laboratory, has just received the [[https://gdr-gpl.cnrs.fr/?page_id=376 |2025 GPL]] (Software Engineering and Programming) thesis award [[https://www.irif.fr/distinctions/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2025-06-20-soutien_de_l_irif_au_palais_de_la_decouverte.txt sorting priority 0.66 ***/
[[https://www.irif.fr/mediation/Soutien-au-Palais-de-la-d%C3%A9couverte|{{:actualites:ressources:logo-irif.png?60 }}]] //20.6.2025//\\ The laboratory's researchers and teacher-researchers testify to their attachment to this place, where they share special moments with the mediators during lectures and workshops. This human contact makes it a unique place for exchange. We particularly appreciate the place given by the Palais de la Découverte to the basic sciences, the foundation of our shared scientific culture. Last but not least, we are attached to the Palais d'Antin, with its monumental entrance, which reminds us all of the central role that science, and the wonder it inspires, plays in our shared cultural heritage. [[https://www.irif.fr/mediation/Soutien-au-Palais-de-la-d%C3%A9couverte|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2025-06-17-_best_repeatability_award__recu_par_des_scientifiques_de_l_irif.txt sorting priority 0.33 ***/
{{:actualites:ressources:logo-irif.png?60 |https://hscc.acm.org/2025/best-re-award/}} //17.6.2025//\\ Congrats to Niklas Kochdumper (former Postdoc at IRIF), Mohammed Foughali, Peter Habermehl and Eugene Asarin whom received the [[https://hscc.acm.org/2025/best-re-award/|Best Repeatability Award]] at HSCC 2025 for their paper [[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}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2025-06-17-papiers_acceptes_a_la_conference_crypto_2025.txt sorting priority 0.33 ***/
[[https://www.iacr.org/|{{:actualites:ressources:iacrlogo_small.png?60 |Logo conference}}]] //17.6.2025//\\ Congratulations on the five papers co-authored by IRIF members accepted at the CRYPTO 2025 conference (a top-tier conference and one of the two major conferences in cryptography) ! Cryptography is a recent and expanding research area at IRIF, with the arrival of Christina Boura (UPC Professor) and Michele Orrù (CNRS Research Fellow) last year, and these results demonstrate excellent momentum for this research theme at IRIF (including notably a paper by Christina Boura, and a paper by Ioanna Karantaidou, Michele Orrù's postdoc). The list of papers concerned: [[https://crypto.iacr.org/2025/acceptedpapers.php|Find the complete list of papers accepted at CRYPTO 2025]] [[https://www.iacr.org/cryptodb/data/conf.php?year=2025&venue=crypto|Or the more detailed list with paper abstracts]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2025-06-02-entretien-erc-herbelin-mellies.txt sorting priority 0.33 ***/
[[https://www.irif.fr/portraits/erc_hherbelin_pamellies|{{:actualites:ressources:2025_irif_erc_synergie_grants_winners.png?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}}]] //2.6.2025//\\ https://www.irif.fr/portraits/erc_hherbelin_pamellies [[https://www.irif.fr/portraits/erc_hherbelin_pamellies|{{icon>arrow-circle-right}}]]
[[https://www.irif.fr/admindb/actus/|edit]]