Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
aelos:presentations [2022/03/11 20:07] aelosweb [2021 COVID Saison 2] |
aelos:presentations [2022/05/04 15:51] (Version actuelle) aelosweb |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| ====== AeLoS Internal Meetings ====== | ====== AeLoS Internal Meetings ====== | ||
| - | ===== 2022 ===== | + | [[https://aelos.ls2n.fr/|AeLoS]] |
| - | * 10/03/2022 Réunion, exposé Rodic {{ :aelos:presentation_rodic-seminaire-aelos-mar2022.pdf |pdf}} | + | |
| + | recently see VELO [[velo::presentations]] | ||
| + | |||
| + | ===== 2022 AeLoS ===== | ||
| + | * 10/03/2022 Réunion, exposé Rodic {{:aelos:presentation_rodic-seminaire-aelos-mar2022.pdf |pdf}} | ||
| * 24/02/2022 Réunion plénière personnels Aelos salle 210 bât. 34 ({{:aelos:aelos-24fevrier2022.pdf |dans le rétro}}) | * 24/02/2022 Réunion plénière personnels Aelos salle 210 bât. 34 ({{:aelos:aelos-24fevrier2022.pdf |dans le rétro}}) | ||
| * 3/02/2022 Réunion | * 3/02/2022 Réunion | ||
| Ligne 9: | Ligne 13: | ||
| ===== 2021 COVID Saison 2 ===== | ===== 2021 COVID Saison 2 ===== | ||
| - | * 16/12/2021 Réunion | + | * 16/12/2021 Réunion Exposé invité Mariem Graa "Analyse hybride du code pour détecter les violations de la confidentialité dans le système Android." {{ :aelos:resume_expose_mariem_graa.pdf |résume pdf}} |
| - | * 25/11/2021 Réunion | + | * 25/11/2021 Réunion Exposé Ali Benjinaly Biblio BITA {{ :aelos:bita_oct_nov_.pdf |pdf}} |
| - | * 28/10/2021 Réunion | + | * 28/10/2021 Réunion (exposé Christian (??) |
| * 14/10/2021 Réunion | * 14/10/2021 Réunion | ||
| * 30/09/2021-01/10/2022 Mise au vert LS2N [[ | * 30/09/2021-01/10/2022 Mise au vert LS2N [[ | ||
| Ligne 18: | Ligne 22: | ||
| * 9/09/2021 Réunion - arrivée Guillaume Cantin | * 9/09/2021 Réunion - arrivée Guillaume Cantin | ||
| * 8/07/2021 Réunion | * 8/07/2021 Réunion | ||
| - | * 17/06/2021 Réunion Exposé Abdel "Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems" (MEDI'2021) | + | * 17/06/2021 Réunion Exposé Abdel "Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems" (MEDI'2021) {{ :aelos:7_multi_facets_contract_for_modeling_and_verifying_heterogeneous_systems.pdf |pdf}} |
| * 3/06/2021 Réunion Visio | * 3/06/2021 Réunion Visio | ||
| * 20/05/2021 Réunion Etat et Perspectives de travail autour de Plug&Check. | * 20/05/2021 Réunion Etat et Perspectives de travail autour de Plug&Check. | ||
| Ligne 50: | Ligne 54: | ||
| * 26/03/2020 Soutenance de thèse de Eva - reportée | * 26/03/2020 Soutenance de thèse de Eva - reportée | ||
| * 19/03/2020 Réunion annulée COVID - les réunions passent à distance | * 19/03/2020 Réunion annulée COVID - les réunions passent à distance | ||
| - | * 5/03/2020 Réunion (présentaion CA ?) | + | * 5/03/2020 Réunion (présentation CA ?) |
| * 13/02/2020 Réunion présentation des travaux de thèse de Fawzi {{ :aelos:ims.pptx |ppt}} | * 13/02/2020 Réunion présentation des travaux de thèse de Fawzi {{ :aelos:ims.pptx |ppt}} | ||
| * 23/01/2020 Réunion | * 23/01/2020 Réunion | ||