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.
As part of her thesis, Amandine Decker, PhD student in the Sémagramme team, is organizing a collection of dialogues using an instant messaging tool for a study on conversational dynamics.
Every year, Loria’s teams strengthen with the arrival of new researchers and associate professors. We welcome them and invite you to take a few minutes to learn about their careers and projects!
Every year, Loria’s teams strengthen with the arrival of new researchers and associate professors. We welcome them and invite you to take a few minutes to learn about their careers and projects!
Next Loria colloquium will take place on Thursday, 22nd May at 1:30 pm in the Amphitheater.
We will have the pleasure to welcome Bettina Speckmann, full professor at Eindhoven University of Technology, with a presentation in English, entitled River channels and dual loops: computational geometry in the field.
