AeLoS

recently see VELO presentations

• 10/03/2022 Réunion, exposé Rodic pdf
• 24/02/2022 Réunion plénière personnels Aelos salle 210 bât. 34 (dans le rétro)
• 3/02/2022 Réunion
• 27/01/2022 AG LS2N pdf
• 20/01/2022 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.” résume pdf
• 25/11/2021 Réunion Exposé Ali Benjinaly Biblio BITA pdf
• 28/10/2021 Réunion (exposé Christian (??)
• 14/10/2021 Réunion
• 30/09/2021-01/10/2022 Mise au vert LS2N 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) 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 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 pdf
• 11/02/2021 Réunion
• 28/01/2021 Réunion Visio
• 14/01/2021 Réunion de reprise zoom
• 06/01/2021 On prépare les nouveaux locaux souvenirs

• 17/12/2020 Réunion annulée
• 10/12/2020 Soutenance HDR Benoit “Modélisation et Vérification de Systèmes Incertains” lifesize replay
• 03/12/2020 Zoom Meeting
• 05/11/2020 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 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 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) le live
• 11/06/2020 Réunion visio-café-conviviale lifesize
• 28/05/2020 Réunion reportée
• 2/04/2020 Réunion [de reprise] camera café 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 ppt
• 23/01/2020 Réunion
• 09/01/2020 Réunion (galette)

• 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) pdf
• Exposé 07/11/2019, salle 210 bât. 34: Eva (avant colloque MSR'19 à Angers) pdf
• Exposé 17/10/2019, salle 210 bât. 34: Fawzi (après la conf Sohoma à Valence) pdf
• Exposé 03/10/2019 (Gilles) pdf
• Réunion 19/09/2019
• Exposé 04/07/2019 (Dimitry) pdf (prepa de conf : Graphical Event Model Learning and Verification for Security Assessment, IEA/AIE 2019)
• Exposé 06/06/2019 (Eva) 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) pdf
• Exposé 25/04/2019 (Yannis/Pascal) expose-aelos-transfo.jpg
• Exposé 04/04/2019 (Abdou) pdf
• Exposé 21/03/2019 (Pascal) pdf
• Réunion 07/03/2019 Séminaire LS2N de Kazunori Ueda
• Réunion 07/02/2019
• Exposé 24/01/2019 (Kadidiatou) pdf
• Exposé 10/01/2019 (Benoit) pdf

• Réunion 13/12/2018 (Abdou reporté, X)
• Exposé 29/11/2018 (Christian) pdf
• Réunion 08/11/2018
• Réunion 04/10/2018
• Réunion 20/09/2018
• Exposé 21/06/2018 (Jérôme) pdf
• Exposé 07/06/2018 (Syrine AOUADI) ppt (Mohammed el amin TEBIB) pdf
• Exposé 19/04/2018 (Christian) pdf
• Exposé 05/04/2018 (Pascal) pdf video chaine video
• Exposé 22/03/2018 (Abdramane Bah) pdf
• Exposé 01/03/2018 (David Sferruzza) zipvueHAL
• Exposé 15/02/2018 (Ran Bao) pdf
• Exposé 01/02/2018 (Paulin Fournier) pdf
• Réunion 18/01/2018 (galette)

• Réunion 14/12/2017
• Réunion GDR 07/12/2017 - lien
• Réunion 30/11/2017 - annulé → HDR Charlotte (lien)
• Réunion 16/11/2017 - Agile Tour
• Réunion 09/11/2017
• Soutenance Thèse Mira Aboud 25/10/2017 (hal)
• Soutenance Thèse Nicolas David 20/10/2017
• Réunion 19/10/2017
• Soutenance Thèse Amine Aouadhi 28/09/2017 (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) pdf
• Réunion 18/05/2017
• Exposé 04/05/2017 (Shuai Wang, Simula Research Laboratory) pdf (Sagar Sen, Simula Research Laboratory) pdf
• Exposé 27/04/2017 (Nicolas) pdf
• Exposé 30/03/2017 (Amine)
• Exposé 16/03/2017 (Abdramane) pdf
• Exposé 01/03/2017 (Jérôme) Article Modelsward pdf
• Réunion 09/02/17 (Christian) pdf
• Gitlab, Damien V. Git UNantes

• 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) pdf
• Slides 22/09/16 (Dominique Blouin - Telecom ParisTech) pdf
• Visite Carquefou 16/06/16 (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)

• Slides 10/12/15 (Dalila ?)
• Slides 26/11/15 (Jérôme)
• Slides Mise au vert des responsables d'équipe : presAeLoS-19nov2015 (Christian)
• Slides 12/11/15 (David S.)
• Slides 15/10/15 (Nicolas David) pdf
• Slides 01/10/15 (??)
• Slides 10/09/15 (Joost Noppen) 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.) 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 pptx
• Slides 15/01/15 (Pascal A.) pdf

• Slides 11/12/14 (Tom Mens - ) Evolving software ecosystems pdf
• Slides 11/12/14 (Mathieu Goemine) pdf
• Slides 06/11/14 (Christian A.) pdf
• Grand séminaire LINA - Guy Pujolle La nébulisation des réseaux
• Slides 23/10/2014 (Mathieu P.) pdf
• Slides 09/10/14 (??)
• Slides 25/09/14 (Jean-Marie M.) 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)) pdf
• Slides 17/04/14 (Arnaud L.) pdf
• Slides 20/03/14 (Jean-Marie M.) pdf
• Slides 20/02/14 (Christian A.) pdf
• Slides 06/02/14 (Benoît D.) pdf
• Slides 23/01/14 (Pascal A.) pdf
• Slides 09/01/14 (Matthieu P.) pdf

• Slides 12/07/13 (Gilles Dowek) Galerie photos et vidéo
• Slides 12/12/13 (Jérôme Rocheteau) pdf
• Slides 10/12/13 (Olga Kouchnarenko) pdf
• Slides 19/12/13 (JP) pdf
• Slides 05/12/13 (OF) pdf
• Slides 21/11/13 (AL) pdf
• Slides 08/11/13 (1/2 journée automates probabilistes) pdf
• Slides 07/11/13 (BD) pdf
• Slides 24/10/13 (journée modélisation)
• Slides 10/10/13 (CA)
• Slides 26/09/13 (JMM) pdf
• Slides 12/09/13 (?)
• Slides 11/07/13 (AL) pdf
• Slides 13/06/13 (JMM) pdf
• Slides 16/05/13 (MP) crdt_16_05_2013.pdf
• Slides 11/04/13 (PA) 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) pptx
• Slides 07/02/13 (JMM) pdf
• Slides 17/01/13 (CJ) pdf

• 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) contracts_slides.pdf
  • Slides 30/08/12 (CJ) 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 meriem1.pdf
  • Slides 12/04/12 (AG) resumeAG
  • Slides 29/03/12 (CJ) LINA resumeCJ1
  • Slides 22/03/12 (GS) gwen.pdf
  • Slides 15/03/12 (PA/GA) kml2java.pdf

• Slides 08 (??) M. Messabihi
• Slides 30/03/11 (RB) presriadbelkhatir.ppt
• Slides 17/03/11 (OF) presentation_aelos_of_v1.0.ppt
• Slides 17/02/11 (JMM) 2011-02-17_analyse_de_mutation_-_jmm.pdf
• Slides 10/02/11 (PA) sca.pdf
• Slides MO ??
• Slides 06/01/11 (CA) kmelia_picalcul_janv2011_ca.pdf

• 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

• Slides 29/06/10 (PA) exposéConFract
• Slides 17/06/10 (AL)

  • Slides 28/05/10 (MM) version modifiée
  • Slides 27/05/10 (GA) promotion_slides.pdf
  • Slides 10/05/10 (CA) Capturing the semantics of SystemC in EventB capturing semantics example
  • Slides 27/04/10 (JMM) 2010-avril-24-emploi_des_contrats_pour_le_test.pdf
• Slides 30/03/10 (PA, GA) gencode.pdf + demo
• Slides 18/03/10 (AL)

  • Slides 04/03/10 (HHannousse, CA) rCos_vs_Kml (CA)
  • Slides 21/01/10 (MM)
  • Slides 07/01/10 (JMM) 2010-janv-07-traceability.pdf

• Slides 03/12/09 (PA) 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) BIP vs Kmelia + demo
• Slides 08/10/09 (MM)
• Slides 24/09/09 (JMM)

• Slides Coloss 20/04/09 (OP) pdf
• Slides Miles 16/01/09 (EM) pdf

• Slides Besançon 5/10 (AL) pdf
• Slides GDR 03/10 (MM)