Outils pour utilisateurs
aelos:presentations
Différences
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/12 09:40] aelosweb [2020 COVID Saison 1] |
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 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}} | + | * 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 (exposé Christian (??) | * 28/10/2021 Réunion (exposé Christian (??) | ||
| * 14/10/2021 Réunion | * 14/10/2021 Réunion | ||
| 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. | ||
aelos/presentations.1647074421.txt.gz · Dernière modification: 2022/03/12 09:40 par aelosweb
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
