====== AeLoS Internal Meetings ====== [[https://aelos.ls2n.fr/|AeLoS]] 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}}) * 3/02/2022 Réunion * 27/01/2022 AG LS2N [[https://wiki.ls2n.fr/lib/exe/fetch.php?media=ag_-27_janvier_2022.pdf|pdf]] * 20/01/2022 Réunion ===== 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}} * 25/11/2021 Réunion Exposé Ali Benjinaly Biblio BITA {{ :aelos:bita_oct_nov_.pdf |pdf}} * 28/10/2021 Réunion (exposé Christian (??) * 14/10/2021 Réunion * 30/09/2021-01/10/2022 Mise au vert LS2N [[ https://uncloud.univ-nantes.fr/index.php/s/eSNw8aREmkDdwA9|têtes à chapeaux]] * 23/09/2021 Réunion * 9/09/2021 Réunion - arrivée Guillaume Cantin * 8/07/2021 Réunion * 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 * 20/05/2021 Réunion Etat et Perspectives de travail autour de Plug&Check. * 3-6 mai 2021 Visite HCERES [[https://wiki.ls2n.fr/doku.php?id=eval_hceres:eval_hceres_acc|wikiLS2N-HCERES]] * 29/04/2021 Réunion Visio Présentation et Exposés des étudiants de Master 1, en TER. * 8/04/2021 Réunion Visio * 25/03/2021 Réunion * 11/03/2021 AG LS2N [[https://wiki.ls2n.fr/lib/exe/fetch.php?media=ag2021.pdf|pdf]] * 11/02/2021 Réunion * 28/01/2021 Réunion Visio * 14/01/2021 Réunion de reprise [[https://univ-nantes-fr.zoom.us/j/2686742218|zoom]] * 06/01/2021 On prépare les nouveaux locaux [[https://uncloud.univ-nantes.fr/index.php/s/LijkonS4p3A9Kcd|souvenirs]] ===== 2020 COVID Saison 1 ===== * 17/12/2020 Réunion annulée * 10/12/2020 Soutenance HDR Benoit "//Modélisation et Vérification de Systèmes Incertains//" [[https://stream.lifesizecloud.com/extension/4452281/cfe3f6b0-d21f-4212-9bbf-61dd75f8a6bc|lifesize]] [[https://youtu.be/_YM6TCEl7D4|replay]] * 03/12/2020 [[https://univ-nantes-fr.zoom.us/j/2686742218|Zoom]] Meeting * 05/11/2020 [[https://univ-nantes-fr.zoom.us/j/2686742218|Zoom]] Meeting * 22/10/2020 Réunion - Exposé Pascal * //Approches d'étude biblio systematique : SLR, SMS, ... Systematic mapping, systematic studies... Ce sont des approches méthodologiques..pour faire l'etat de l'art/ related work/ des "surveys" , etc// * Outil [[https://www.rayyan.ai/|Rayyan]] (pour faire SLR), libre, adopté pour le travail en cours * 22/10/2020 Réunion //Covid19 oblige, c'était la première réunion en présentiel depuis le mois de Février 2020 !// * 08/10/2020 Soutenance de thèse d'Abdou {{ :aelos:presentation-soutenance-abdou-2020v4.pdf |diapos}} + AG LS2N * 24/09/2020 Foulées BBQ * 08/07/2020 Rencontres Pôles/Direction * 02/07/2020 Soutenance de thèse de Dimitri (présentiel mais guichets fermés 7 personnes) [[http://videos.univ-nantes.fr/player/live/index.php?f=live0506|le live]] * 11/06/2020 Réunion //visio-café-conviviale// [[https://call.lifesizecloud.com/1010415|lifesize]] * 28/05/2020 Réunion reportée * 2/04/2020 Réunion [de reprise] camera café [[https://call.lifesizecloud.com/1010415|lifesize]] * 26/03/2020 Soutenance de thèse de Eva - reportée * 19/03/2020 Réunion annulée COVID - les réunions passent à distance * 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}} * 23/01/2020 Réunion * 09/01/2020 Réunion (galette) ===== 2019 ===== * Réunion 19/12/2019 salle 210 bât. 34 (calendrier) * 05/12/2019 (annulé) * Exposé 21/11/2019, salle 210 bât. 34: Pascal (après colloque MSR'19 à Angers) {{ :aelos:msr19-andre-1.0.pdf |pdf}} * Exposé 07/11/2019, salle 210 bât. 34: Eva (avant colloque MSR'19 à Angers) {{ :aelos:slide15-eva-msr2019.pdf|pdf}} * Exposé 17/10/2019, salle 210 bât. 34: Fawzi (après la conf Sohoma à Valence) {{ :aelos:fawzi-sohoma2019.pdf |pdf}} * Exposé 03/10/2019 (Gilles) {{:aelos:presga-03-10-2019.pdf |pdf}} * Réunion 19/09/2019 * Exposé 04/07/2019 (Dimitry) {{:aelos:dimitri_antakly_ieaaie2019.pdf|pdf}} (prepa de conf : Graphical Event Model Learning and Verification for Security Assessment, IEA/AIE 2019) * Exposé 06/06/2019 (Eva) {{ :aelos:eva.pdf |pdf}}(prepa de conf : Parametric Statistical Model Checking of UAV Flight Plan. FORTE 2019) * Réunion 20/06/2019 -- reu ANNULEE pour cause de seminaire LS2N * Exposé 16/05/2019 (Christian) {{ :aelos:aelos_digitaltwin_avril2019.pdf|pdf}} * Exposé 25/04/2019 (Yannis/Pascal) {{:aelos:expose-aelos-transfo.jpg?linkonly|}} * Exposé 04/04/2019 (Abdou) {{ :aelos:presentation-seminaire-abdou.pdf |pdf}} * Exposé 21/03/2019 (Pascal) {{ :aelos:modelsward2019-extaelos.pdf |pdf}} * Réunion 07/03/2019 Séminaire LS2N de Kazunori Ueda * Réunion 07/02/2019 * Exposé 24/01/2019 (Kadidiatou) {{:aelos:presentation240119-kadi.pdf|pdf}} * Exposé 10/01/2019 (Benoit) {{ :aelos:benoitlisbonne.pdf |pdf}} ===== 2018 ===== * Réunion 13/12/2018 (Abdou reporté, X) * Exposé 29/11/2018 (Christian) {{ :aelos:correct_sdn_facs2018.pdf |pdf}} * Réunion 08/11/2018 * Réunion 04/10/2018 * Réunion 20/09/2018 * Exposé 21/06/2018 (Jérôme) {{ :aelos:emit_a_system_for_monitoring_networks_of_mqtt_clients.pdf |pdf}} * Exposé 07/06/2018 (Syrine AOUADI) {{ :aelos:presentationaelos-syrine_aouadi.pptx |ppt}} (Mohammed el amin TEBIB) {{ :aelos:exposemeat.pdf |pdf}} * Exposé 19/04/2018 (Christian) {{ :aelos:sdn_modelling_christian_avril2018.pdf |pdf}} * Exposé 05/04/2018 (Pascal) {{:aelos:mde-lego.pdf|pdf}} [[https://youtu.be/n5HHUpllt78|video]] [[https://www.youtube.com/playlist?list=PLin-nNM2KP_ic863pGS68GvPAICI9thWf|chaine video]] * Exposé 22/03/2018 (Abdramane Bah) {{:aelos:presentation-seminaire-22-03.pdf|pdf}} * Exposé 01/03/2018 (David Sferruzza) {{:aelos:mde-for-consistent-ws.zip|zip}}[[https://dsferruzza.gitlab.io/mde-for-consistent-ws|vue]][[https://hal.archives-ouvertes.fr/hal-01654287|HAL]] * Exposé 15/02/2018 (Ran Bao) {{:aelos:expose-15-02-2018-bao_ran.pdf|pdf}} * Exposé 01/02/2018 (Paulin Fournier) {{:aelos:expose-01-02-2018-paulinfournier.pdf|pdf}} * Réunion 18/01/2018 (galette) ===== 2017 ===== * Réunion 14/12/2017 * Réunion GDR 07/12/2017 - [[http://lig-membres.imag.fr/idani/MTV2_MFDL/exposes.html|lien]] * Réunion 30/11/2017 - annulé -> HDR Charlotte ([[https://www.normalesup.org/~truchet/Docs/HDR/Truchet-HDR.pdf|lien]]) * Réunion 16/11/2017 - Agile Tour * Réunion 09/11/2017 * Soutenance Thèse Mira Aboud 25/10/2017 ([[https://hal.archives-ouvertes.fr/tel-01688160|hal]]) * Soutenance Thèse Nicolas David 20/10/2017 * Réunion 19/10/2017 * Soutenance Thèse Amine Aouadhi 28/09/2017 ([[https://hal.archives-ouvertes.fr/hal-01255753|hal]]) * Réunion 28/09/2017 Présoutenance Thèse Nicolas David * Réunion 21/09/2017 Présoutenance Thèse Amine Aouadhi * Séminaire Gavy - 11/07/2017 * Christian * Benoit * Gilles * Exposé 29/06/2017 (Dimitri Antakly) {{:aelos:presentation02-_analyse_comportementale_intelligente.pdf|pdf}} * Réunion 18/05/2017 * Exposé 04/05/2017 (Shuai Wang, Simula Research Laboratory) {{:aelos:presentation_nantes.pdf|pdf}} (Sagar Sen, Simula Research Laboratory) pdf * Exposé 27/04/2017 (Nicolas) {{:aelos:concur2017.pdf|pdf}} * Exposé 30/03/2017 (Amine) * Exposé 16/03/2017 (Abdramane) {{ :aelos:interoperability-and-security.pdf |pdf}} * Exposé 01/03/2017 (Jérôme) Article Modelsward {{:aelos:slides-jerome-fev2017.pdf|pdf}} * Réunion 09/02/17 (Christian) {{:aelos:diapos_state-of-art_contract_2017.pdf|pdf}} * Gitlab, Damien V. [[https://gitlab.univ-nantes.fr/|Git UNantes]] ===== 2016 ===== * gitlab, David S * Slides 15/12/16 (exposé Amine) * Slides 05/12/16 (soutenance Jonathan) * Slides 01/12/16 (pre-soutenance Jonathan) * Réunion 17/11/16 (Benoit ou Amine) * Réunion 13/10/16 * Slides 22/09/16 (Joost Noppen) {{:aelos:research_presentation.pdf|pdf}} * Slides 22/09/16 (Dominique Blouin - Telecom ParisTech) {{:aelos:seaa_2016_univ_nantes_22092016.pdf|pdf}} * Visite Carquefou 16/06/16 ([[http://forge.lina.univ-nantes.fr/aelossvn/InfoComm/PHOTOS/SeminaireExterne-16Juin2016/|photos]]) * Slides 07/06/16 (Soutenance Mathieu) * Réunion 02/06/16 (pre Soutenance Mathieu) * Réunion 19/05/16 (Christian) * Réunion 28/04/16 * Réunion 31/03/16 visite Olivier CARDIN, equipe ACSED de l'Irccyn * Réunion 03/03/16 * Slides 04/02/16 (Jonathan) * Exposé 21/01/16 (Sagar Sen) ===== 2015 ===== * Slides 10/12/15 (Dalila ?) * Slides 26/11/15 (Jérôme) * Slides Mise au vert des responsables d'équipe : {{:aelos:pres_aelos_19nov2015.pdf|presAeLoS-19nov2015}} (Christian) * Slides 12/11/15 (David S.) * Slides 15/10/15 (Nicolas David) {{:aelos:presentationpn2015.pdf|pdf}} * Slides 01/10/15 (??) * Slides 10/09/15 (Joost Noppen) {{:aelos:research_presentationjoostnoppenseptember2015.pdf|pdf}} * Slides 25/06/15 (??) * Slides 11/06/15 (??) * Slides 29/05/15 (Exposé David Monniaux) * Slides 28/05/15 Séminaire Pôle Science du Logiciel ? * Slides 21/05/15 (Christian A.) * Slides 30/04/15 (séminaire du LINA - Anatole Lécuyer) * Slides 30/04/15 (Mathieu P.) reporté * Slides 09/04/15 (??) * Slides 26/03/15 (??) * Slides 12/03/15 (Arnaud L.) reporté * Slides 26/02/15 (Dalila T.) reporté * Slides 29/01/15 (Amine O.) {{:aelos:amine_presentation.pdf|pdf}} * Présentation 22/01/15 (Jean-Philippe Gauthier de le société Eolane) * Slides 22/01/15 (Fatma Dhaou - Tunis) travaux de thèse {{:aelos:verification_formelle_de_la_relation_de_raffinement_des.pptx|pptx}} * Slides 15/01/15 (Pascal A.) {{:aelos:costotest_pa_15_01_2015.pdf|pdf}} ===== 2014 ===== * Slides 11/12/14 (Tom Mens - ) Evolving software ecosystems {{:aelos:nantes201412-evolvingsoftwareecosystems_tommens.pdf|pdf}} * Slides 11/12/14 (Mathieu Goemine) {{:aelos:nantes201412_mathieugoemine.pdf|pdf}} * Slides 06/11/14 (Christian A.) {{:aelos:jca_move_distributed_control_isola14.pdf|pdf}} * Grand séminaire LINA - Guy Pujolle [[http://www.lina.univ-nantes.fr/?La-nebulisation-des-reseaux.html|La nébulisation des réseaux]] * Slides 23/10/2014 (Mathieu P.) {{:aelos:criteres_coherence.pdf|pdf}} * Slides 09/10/14 (??) * Slides 25/09/14 (Jean-Marie M.) {{:aelos:2014-09-25_test_application_mobile.pdf|}} * Slides 11/09/14 (Benoit D.) * Slides 15/05/14 (??) * Slides 05/05/14 (Abderrahim Ait-Wakrime, doctorant LIFO (Orléans)) {{:aelos:seminairelina_abdel.pdf|pdf}} * Slides 17/04/14 (Arnaud L.) {{:aelos:fesca2014_presentation.pdf|pdf}} * Slides 20/03/14 (Jean-Marie M.) {{:aelos:jmm-travail-thomas.pdf|pdf}} * Slides 20/02/14 (Christian A.) {{:aelos:diapo_eb_reachability.pdf|pdf}} * Slides 06/02/14 (Benoît D.) {{:aelos:bd_slides.pdf|pdf}} * Slides 23/01/14 (Pascal A.) {{:aelos:presentpa-23-01-14_2.pdf|pdf}} * Slides 09/01/14 (Matthieu P.) {{:aelos:present_mp_09_01_14.pdf|pdf}} ===== 2013 ===== * Slides 12/07/13 (Gilles Dowek) [[http://www.lina.univ-nantes.fr/?L-enseignement-de-l-informatique.html|Galerie photos]] et [[http://comin-ocw.org/contents/lecture/20131212-gilles_dowek/|vidéo]] * Slides 12/12/13 (Jérôme Rocheteau) {{:aelos:howgreenarejavabestpractices_jeromerocheteau_12decembre2013.pdf|pdf}} * Slides 10/12/13 (Olga Kouchnarenko) {{:aelos:pdarandtest_olgakouchnarenko_10decembre2013.pdf|pdf}} * Slides 19/12/13 (JP) {{:aelos:presentation_-_reunion_aelos_12_2013.pdf|pdf}} * Slides 05/12/13 (OF) {{:aelos:amt_mottu_1.0.pdf|pdf}} * Slides 21/11/13 (AL) {{:aelos:presentation-al-21-11-2013.pdf|pdf}} * Slides 08/11/13 (1/2 journée automates probabilistes) {{:aelos:slides-jprob-bd.pdf|pdf}} * Slides 07/11/13 (BD) {{:aelos:slides-bd-07-11-2013.pdf|pdf}} * Slides 24/10/13 (journée modélisation) * Slides 10/10/13 (CA) * Slides 26/09/13 (JMM) {{:aelos:modevva13-mottu-1.0.pdf|pdf}} * Slides 12/09/13 (?) * * Slides 11/07/13 (AL) {{:aelos:presentaelos_27juin2013.pdf|pdf}} * Slides 13/06/13 (JMM) {{:aelos:icmt13_slides_mottu.pdf|pdf}} * Slides 16/05/13 (MP) {{:aelos:crdt_16_05_2013.pdf|}} * Slides 11/04/13 (PA) {{:aelos:reverse_slides.pdf|pdf}} * Slides 21/03/13 (GA) reporté * Slides 07/03/13 Loig Jézéquel * Slides 21/02/13 Mathieu Sassolas * Slides 21/02/13 (DH) {{:aelos:presentation_lina_21.02.2013.pptx|pptx}} * Slides 07/02/13 (JMM) {{:aelos:issre2013sen.pdf|pdf}} * Slides 17/01/13 (CJ) {{:aelos:cj_msc.pdf|pdf}} ===== 2012 ===== * Slides 20/12/12 * Slides 22/11/12 * Slides 08/11/12 * Slides 25/10/12 * Slides 04/10/12 * Slides 17/09/12 (PA,GA) {{:aelos:contracts_slides.pdf|}} * Slides 30/08/12 (CJ) {{:aelos:claudejard1.pdf|}} * Séminaire équipe [[programmeSE2012]] * Slides 24/05/12 (PA/GA/JMM) Test et Génération de code * Slides 12/04/12 (MO) EMN {{aelos:meriem1.pdf|}} * Slides 12/04/12 (AG) [[resumeAG]] * Slides 29/03/12 (CJ) LINA [[resumeCJ1]] * Slides 22/03/12 (GS) {{aelos:gwen.pdf|}} * Slides 15/03/12 (PA/GA) {{:aelos:kml2java.pdf|}} ===== 2011 ===== * Slides 08 (??) M. Messabihi * Slides 30/03/11 (RB) {{:aelos:presriadbelkhatir.ppt|}} * Slides 17/03/11 (OF) {{:aelos:presentation_aelos_of_v1.0.ppt|}} * Slides 17/02/11 (JMM) {{:aelos:2011-02-17_analyse_de_mutation_-_jmm.pdf|}} * Slides 10/02/11 (PA) {{:aelos:sca.pdf|}} * Slides MO ?? * Slides 06/01/11 (CA) {{:aelos:kmelia_picalcul_janv2011_ca.pdf|}} ===== 2010 ===== * Slides 16/12/10 (HKA) //à compléter// * Slides 25/11/10 (GA) //à compléter// * Slides 04/11/10 (AL) //à compléter// * Slides 07/10/10 (OF) //à compléter// * Slides 23/09/10 (??) //à compléter// ====== Coloss Internal Presentations ====== ===== 2010 ===== * Slides 29/06/10 (PA) {{:aelos:promotion.pdf|exposé}}{{:aelos:confractslidespoirriez.pdf|ConFract}} * Slides 17/06/10 (AL) * Slides 28/05/10 (MM) {{:aelos:wcsi_slides.pdf|version modifiée}} * Slides 27/05/10 (GA) {{intranet:team:promotion_slides.pdf|}} * Slides 10/05/10 (CA) {{intranet:diapos_sc_eb.pdf|Capturing the semantics of SystemC in EventB}} [[http://example.com|capturing semantics example]] * Slides 27/04/10 (JMM) {{intranet:team:2010-avril-24-emploi_des_contrats_pour_le_test.pdf|}} * Slides 30/03/10 (PA, GA) {{intranet:team:gencode.pdf|}} + demo * Slides 18/03/10 (AL) * Slides 04/03/10 (HHannousse, CA) {{intranet:intro_rcos.pdf|rCos_vs_Kml (CA)}} * Slides 21/01/10 (MM) * Slides 07/01/10 (JMM) {{intranet:team:2010-janv-07-traceability.pdf|}} ===== 2009 ===== * Slides 03/12/09 (PA) {{intranet:team:exposepa.zip|}} * Slides 25/11/09 (AL) * Slides 19/11/09 (Séminaire IL) * Slides 05/11/09 (GA) (FACS report) * Slides 20/10/09 (CA) {{intranet:diapo_bip.pdf|BIP vs Kmelia + demo}} * Slides 08/10/09 (MM) * Slides 24/09/09 (JMM) ====== Seminars Presentations ====== * Slides Coloss 20/04/09 (OP) {{intranet:docs:slides-op.pdf|pdf}} * Slides Miles 16/01/09 (EM) {{intranet:docs:fmco2008-ericmadelaine.pdf|pdf}} ====== External Presentations ====== * Slides Besançon 5/10 (AL) {{:intranet:team:slides_alanoix_06-05-2010.pdf|pdf}} * Slides GDR 03/10 (MM)