Final Yearly Meeting 20 03 2025
Final Yearly Meeting 20 03 2025
Topics
This meeting is devoted to share updates and achievements between consortium members and the board of users. This meeting is hosted by Sorbonne Université and will be located at LIP6, Campus Jussieux
Attendees
Davide Mancusi, Theo Mary, Fabienne Jézéquel, Jérôme Gurhem, Stef Graillat, Pablo Oliveira, Emeric MARTIN, El-Mehdi El arar, Marek FELSOCI, Eric Petit, Bruno Lathuilière, Franck Védrine, Florian Lemaitre, Wilfried Kirschenmann, Malak Elflitty, Yohan Chatelain,
20/03/2024 Program (Room 405, Tower 24-25):
| Time | Topic |
|---|---|
| 10h00 - 10h30 | Welcome coffee |
| 10h30 - 11h00 | Synthèse des travaux autour de FLDLib, (Franck Vedrine, CEA) Slides |
| 11h00 - 12h00 | Synthèse des travaux autour de la convergence entre PENE/VERROU/Verificarlo, (Jérome Gurhem, ANEO)Slides |
| 12h00 - 14h00 | Lunch |
| 14h00 - 15h00 | Synthèse des travaux autour des résultats théoriques et des développements de PROMISE (Fabienne Jezequel, LIP6) Slides |
| 15h00 - 16h00 | Synthèse des travaux de localisation, (Bruno Lathuiliere, EDF) Slides |
| 16h00 - 16h30 | Pause Café |
| 16h30 - 17h30 | Synthèse des travaux autour de l’arrondi stochastique et des développements Verificarlo (El-Mehdi El Arar / Yohann Chatelain, INRIA, Concordia University, UVSQ) Slides Medhi Slides Yohann |
| 17h30 - 18h30 | Discussions |