Congratulations to Véronique Cortier, Research Director at Loria, recipient of a 2025 ERC Synergy Grant for the VePaSS project!
Congratulations to Vincent Trélat, PhD student in the Mosel-Veridis team, who received a Best Paper Award at the ABZ 2025 conference (International Conference on Rigorous State-Based Methods).
The prize was awarded for his paper entitled “Safely Encoding B Proof Obligations in SMT-LIB”.
This international conference on formal methods was held in Düsseldorf from 10 to 13 June.
The MALINCA (MAthematicae LINgua franCA) project, led by Philippe de Groote, Hugo Herbelin, Paul-André Melliès and Carlos Simpson, has won the ERC Synergy Grant 2024 call for projects. Explanation of the scientific stakes by two of the principal investigators: Hugo Herbelin, senior researcher in the PICUBE joint project-team (Université Paris Cité, CNRS, Inria) and Philippe de Groote, head of the SÉMAGRAMME joint project-team (Université de Lorraine, CNRS, Inria) at the Loria laboratory.
How do political debates change over time to the point of polarizing the opinion of an entire population? To what extent can the influence of recommendation systems can appease or inflame user exchanges on social networks?
Congratulations to Nicolas Hubert, PhD student in the Loria’s BIRD team and in the ERPI Laboratory, for receiving two Best Paper Awards at ESWC 2024 (Extended Semantic Web Conference), the leading international conference in the field of the Semantic Web!
