Toute l'actualité

Automatic Generation of Local-First Collaborative Modeling Languages Le prix ACM SIGSOFT Distinguished Paper (remis lors de la conférence MODELS 2026 à Málaga, en Espagne) est une réelle reconnaissance des travaux de recherche menés conjointement par l'équipe DiverSE et le CEA LIST. L'article intitulé « Automatic Generation of Local-First Collaborative Modeling Languages » propose une solution [..]

Félicitations à Sebastien Bonduelle, doctorant dans l'équipe Épicure, qui a reçu le Radhia Cousot Young Researcher Best Paper Award à la conférence SAS'26 (Static Analysis Symposium), pour son article intitulé "Determinism Analysis and its Application to Evaluation Order Independence" (coécrit avec Benoît Montagu et Thomas Jensen) Ce travail s'inscrit dans le cadre de l'analyse statique de [..]

Félicitations à Paul Temple pour le Most Influential Paper obtenu à la conférence internationale VARIABILITY et ses co auteurs (équipes DIVERSE et ARTISHAU) Félicitations à Paul Temple (Maître de conférence, Université de Rennes), José Angel Galindo (Professeur, Université de Séville, Mathieu Acher (Professeur, INSA Rennes), Jean-Marc Jézéquel (Professeur, Université de Rennes) pour le Most [..]

Félicitations à Frédéric Besson (chercheur Inria), Sandrine Blazy (professeure à l’Université de Rennes) et Clément Chavanon (doctorant Inria), membres de l’équipe EPICURE, qui ont obtenu le prix Best Paper Award lors de la 27ieme édition de la conférence Languages, Compilers and Tools for Embedded Systems (ACM LCTES) Leur article intitulé « Towards Verifiable System Code using a DSL Compiled to [..]

Focus ce mois de juin dans Emergences sur - une IA plus vertueuse pour générer du code avec l'infrastructure CodeCommons (Equipe de recherche DIVERSE) - modéliser le mouvement des foules denses (Equipe de recherche VIRTUS)

Félicitations à Georges Aaron Randrianaina qui a obtenu le Prix de thèse du GDR SciLog "Sciences du logiciel" 2026 pour sa thèse intitulée " Assemblage incrémental et reproductible de variantes logicielles " , réalisée sous la direction Mathieu Acher (professeur à l'INSA Rennes), Olivier Zendra (chercheur Inria), et Djamel Eddine Khelladi (chercheur CNRS) Georges Aaron Randrianaina, a effectué son [..]

Félicitations à Jean-Marc Jezequel, élu membre de l'Academia Europaea Professeur à l’ Université de Rennes, président d’ Informatics Europe, médaille d’argent du CNRS, ancien directeur de l’ IRISA et membre de l’équipe DIVERSE, Jean-Marc Jézéquel rejoint l’une des plus prestigieuses académies savantes européennes, réunissant des chercheurs de renommée internationale et parmi les plus éminents dans [..]

L'IRISA est fier d’accueillir la conférence internationale POPL 2026, dédiée aux langages et systèmes de programmation, au couvent des jacobins à Rennes Piloté par Sandrine Brazy, Professeur à l'Université de Rennes et membre de l'équipe recherche Epicure, POP est le symposium annuel, consacré aux principes des langages de programmation. La conférence qui débute ce dimanche 11 janvier jusqu'à [..]