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

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.
====== VELO Meetings ======

[[https://www.ls2n.fr/equipe/velo/|VELO]][[https://velo.ls2n.fr/|VELO bis]]

{{:velo:template_velo.pptx |template PPTX}}


===== 2026 VELO =====

  * 08/01/2026 Réunion équipe VELO : pitch de Guillaume "//Quelques avancées récentes du projet TOUNDRA//" {{ :velo:pitchguillaumetoundra.pdf |pdf}}


===== 2025 VELO =====

  * {{:velo:logophd.png?40|}} 09/12/2025 Soutenance de thèse de David Julien [[https://theses.hal.science/ |HAL thèse à venir]] {{ :velo:diaposoutenancedavid2025.pdf |diapos}}
  * 04/12/2025 Réunion équipe VELO : exposé de thèse de David Julien {{ :velo:diaposoutenancedavid2025.pdf |pdf}} et pitch d'Eve-Shera "//La structure des révolutions scientifiques//" {{ :velo:la_structure_des_revolutions_scientifiques_a_l_arrache_pres.pdf |diapos}} {{ :velo:srs_a_l_arrache.pdf |pdf}}
  * 20/11/2025 Réunion équipe VELO pitch de Tony "//Local Generative AI Character//" {{ :velo:2025_20_11_talk_velo_lab_meeting_pitch_ai_local-1.pdf |pdf}} - Exposé d'Amira "//Development of a data driven digital twin for the extrusion process//" {{ :velo:ppt-amira_souilah_-velo_20-11-2025.pdf |pdf}}
  * 06/11/2025 Réunion équipe VELO pitch de Christian "//Mythes d’après-demain//" {{ :velo:slides-demain-mythes_velo-06nov2025.pdf |pdf}} - Exposé de Hugo "//Un DSL pour représenter et analyser des systèmes à
évènements discrets//" {{ :velo:msr-25.pdf |pdf}} (vidéo à la demande LOL)
  * 09/10/2025 Réunion équipe VELO pitch de David "//Les mathématiques du jonglage//" {{:velo:pitchdavid-09-10-2025.pdf |pdf}} - Exposé de Tony "//Counterfactual Explanations Under Learning From Interpretation Transition//" {{ :velo:2025_10_09_talk_velo_lab_meeting_counterfactual_lfit.pdf |pdf}}
  * 18/09/2025 Réunion équipe VELO
  * 10/07/2025 Réunion équipe VELO - présentation d'Abir "//Simulation of Control in a Dioid using a Python Library//" {{:velo:velo_team_meeting_presentation-abir-10-07-2025.pdf|pdf}} - présentation de Jérôme "D//igisport – digital transformation in sports//" {{ :velo:2025_velo_digisport-jerome.pdf |pdf}} - événement **//durable//** de fin d'année universitaire
  * 27/06/2025 Réunion direction LS2N
  * 12/06/2025 Exposé Maïva "//Estimation de la hauteur des sauts à partir des données de centrales inertielles (IMU)//" {{ :velo:ppt_msr.pptx.pdf|pdf}}
  * 27/05/2025 Les Journées Scientifiques 2025 de Nantes Université {{ :velo:logo-js-abrial.png?200|pdf}} CL1 - //J.R. Abrial, un pionnier du développement scientifique des langages informatiques et des méthodes formelles et de leur application à grande échelle dans l’industrie// [[https://js.univ-nantes.fr/jassiste-aux-colloques/js25cl1|Lien CL1/JS2025]] [[velo:js2025|détails]]
  * 22/05/2025 Pitch Thibaut "//Toundra Visu//" {{ :velo:diapothibaut-velo-ls2n-22-05-2025.pdf |pdf}}, Exposé David "//Probabilistic Abstraction and Verification of Nonlinear Dynamical Systems// " {{ :velo:david-22-05-2025.pdf||pdf}}


  * 10/04/2025 Pitch Emmanuel "//Ajout d’un programme dans HAL//"{{ :velo:slideshalcode.pdf |pdf}}, Exposé Sully "//Abstraction of a hybrid model combining PDEs and probabilistic components into a Markov chain// " {{ :velo:presentation1004-sully.pdf |pdf}}
  * 27/03/2025 Présentation TER {{ :velo:diapo_ter_.pdf |pdf}}
  * 06/03/2025 Réunion VELO
  * 13/02/2025 Pitch Gilles {{ :velo:orca_gilles.pdf |pdf}}
  * 30/01/2025 Pitch Guillaume > "Toundra"
  * 16/01/2025 Exposé Léia Savary "//Modélisation couplée de scénarios de gestion de crise appliqués aux risques de submersion marine//" {{ :velo:presentation_velo-leia-16-01-2025.pdf|pdf}}

**//Joyeuses fêtes//** {{  :velo:voeux-mercure-omaha-beach-2021.jpg?150|}}

===== 2024 VELO =====
  * {{:velo:logophd.png?40|}} 19/12/2024 Soutenance de thèse Ali Benjilany [[https://theses.hal.science/tel-05055122v1|HAL]] 
  * 19/12/2024 Exposé David "//"Revue de l’art: systèmes hybrides et décidabilité//" {{ :velo:slides_julien_1229.pdf|pdf}} - ''Discussion'' Morgan "//Impact de l’IA sur le métier d’E/C//" {{ :velo:2024-12-reunion_d_equipe_velo-morgan.pdf|pdf}}
  * {{:velo:logophd.png?40|}} 16/12/2024 Soutenance de thèse Mohammed El Amin Tebib [[https://theses.hal.science/ |HAL thèse à venir]] 
  * {{:velo:logophd.png?40|}} 27/11/2024 Soutenance de thèse Jakez Rolland [[https://theses.hal.science/ |HAL thèse à venir]] 
  * 21/11/2024 Exposé Jakez "//"Datascape: framework numérique pour l'abstraction et l'exploration de données hétérogènes et multidimensionnelles//" {{ :velo:presentation_these_jakez_rolland_21_11_2024.pdf|pdf}} - ''Discussion'' Hugo "//Mamie notes//"[[https://www.mamie-note.fr/ |link]]
  * 31/10/2024 Exposé Amira "//Comparative Analysis of Multivariate Time Series Forecasting Methods for Modeling Plastic Extruder Behavior//" {{ :velo:medi2024-_amira_souilah.pdf|pdf}}, Exposé Cédric "//Prendre une décision: de la prescription à la modélisation// " {{ :velo:presentation-velo-11-2024_cbron.pdf|pdf}}
  * 17/10/2024 ''Discussion'' Pascal "//KPI Quesaco ?//"{{:velo:velo-kpi.pdf |pdf}}, Exposé Tony Ribeiro "//Learning fro m Interpretation Transitions with Unknowns// " {{ :velo:2024_10_17_talk_team_velo_nantes.pdf |pdf}}
Velo - Vérification pour l'Environnement et le LOgiciel

Outils pour utilisateurs

Outils du site

Outils de la page
