Différences

Ci-dessous, les différences entre deux révisions de la page.

--- velo:presentations [2026/06/17 18:35]
aelosweb [2026 VELO]
+++ velo:presentations [2026/09/18 11:11] (Version actuelle)
aelosweb [2026 VELO]
@@ Ligne 8: / Ligne 8: @@
 ===== 2026 VELO =====
+  * 17/09/2026 Réunion équipe VELO : exposé de Sully "//Formal analysis of hybrid systems using parametric
+Statistical Model Checking//" {{ :velo:sully-17-09-2026.pdf |pdf}}
   * 09/07/2026 Réunion équipe VELO
-  * 25/06/2026 Réunion équipe VELO
+  * 25/06/2026 Réunion équipe VELO : pitch de Hugo "//Paradoxe de Braess//" {{ :velo:paradoxebraess.pdf |pdf}}, exposé de Sully "//Impact des perturbations climatiques et anthropiques sur la dynamique des écosystèmes forestiers boréaux : une approche par modélisation hybride//" {{ :velo:sully-25-06-2026.pdf |pdf}}
   * 11/06/2026 Réunion équipe VELO : exposé de Juliette "//Inductive logic programming for the identification of markers predisposing to hospital acquired pneumonia//" {{ :velo:presentation_d_equipe_-_11-06-juliette.pdf |pdf}}, séminaire de Maximilien Cosme "//Modèles qualitatifs à événements discrets de systèmes écologiques et leur analyse//" {{ :velo:seminaire_cosme.pdf |pdf}}
   * 21/05/2026 Réunion équipe VELO : pitch de Eve "//Artificial knowing . Gender and the thinking machine

Velo - Vérification pour l'Environnement et le LOgiciel