diff --git a/content/members.md b/content/members.md
index 9f54ca1..ab2bd7a 100644
--- a/content/members.md
+++ b/content/members.md
@@ -17,8 +17,9 @@ title: "Members"
- [Pierre Cardascia 🎲](https://suboptimal.games/)
Philosophy, Game Design, Entrepreneurship, Immersive Experience, Poetry -- SubOptimal Games (private company)
- Baptiste ChanusDescriptive complexity -- Université Paris 1 Panthéon-Sorbonne
- [Kostia Chardonnet](https://kostiachardonnet.github.io/)Computer science, quantum computation, cyclic proofs -- Centre Inria de l'Université de Lorraine (MOCQUA)
-- [Sidney Congard](https://dwarfobserver.github.io/)Semantics of programming languages -- Centre Inria de l'Université de Rennes (Galinette)
+- [Sidney Congard](https://dwarfobserver.github.io/)Semantics of programming languages -- Centre Inria de l'Université de Rennes (Gallinette)
- [Xavier Denis](https://xav.io/)Deductive verification and specification of Rust programs
+- [Pierre Benjamin Giraud]Multi-dimensional (Logic ⊗ (Cubes & Rewriting systems) ⊗ Automata), automata for proofs, philoTechny of mathematics -- Centre Inria de l'Université de Rennes (Gallinette)
- [Charles Grellois](https://www.sheffield.ac.uk/cs/people/academic/charles-grellois)
Semantics, (linear) logic, automata theory, higher-order model-checking, mathematical modeling, probabilistic termination, algebra/categories to model real-world problems - University of Sheffield
- Jérémy Hervé 🍄Mushrooms, operating systems design -- Independent
@@ -35,5 +36,4 @@ Titouan Carette, Clémence Chanavat, Bernardo Marques, Julien Marquet, Rémi
Nollet, Federico Olimpieri, Raphael Tossings, Pierre Vial, Quentin, Gael Deest,
Martin Tricaud, Fadi Shawki, Eliès Harington, Axel Kerinec, Aloÿs Dufour,
Bernardo, Anne-Laure, Escherichia, Alexey, François-René Rideau (Faré), Roman
-Perez, Nico, Chirine Laghjichi, Jonty Male, Alexis Toumi, Baptiste Colin,
-Pierre Giraud.
+Perez, Nico, Chirine Laghjichi, Jonty Male, Alexis Toumi, Baptiste Colin.
diff --git a/content/refli2025.md b/content/refli2025.md
index 76c595d..e6fead0 100644
--- a/content/refli2025.md
+++ b/content/refli2025.md
@@ -2,7 +2,7 @@
title: "ReFLi 2025 Meeting"
---
-Rencontre du **28 avril 2025** au **2 mai 2025** au Morbihan.
+Rencontre du **28 avril 2025** au **2 mai 2025** à Lizio (Morbihan).
**Organisateurs :**
- Victor Benitah;