Last modified by Mireille Blay-Fornarino on 2023/05/23 11:17
Hide last authors
David Delahaye 7.1 1 Les différentes branches de l'Intelligence Artificielle (IA) offrent de nombreuses opportunités de développement dans de très nombreux secteurs de l'activité humaine, dont certains ont été identifiés dans le rapport Villani comme prioritaires tels que l'énergie, la santé, les transports et la sécurité. En particulier, la science du logiciel en tire de nombreux bénéfices depuis longtemps. Dans la communauté francophone plus spécifiquement, on peut se rappeler que la conférence LMO (Langages et Modèles à Objets) a regroupé, dès son origine, des recherches en représentation des connaissances et en programmation, et a été le creuset de travaux communs aux chercheurs de ces deux domaines. L'IA peut plus largement apporter des solutions pour la réduction des coûts et des temps de développement et de maintenance, ainsi que pour l'amélioration de la qualité, dont la vérification.
David Delahaye 3.1 2
3
David Delahaye 9.1 4 Ces dernières années ont été marquées par un essor de l’IA, que ce soit dans les discours grand public ou dans les travaux de recherche. Au cœur de cet essor, on trouve différentes techniques dont les plus visibles actuellement sont les techniques d'apprentissage automatique (//machine learning//), avec en particulier l'apprentissage profond (//deep learning//), qui ont tendance à occulter la largeur et la richesse de ce domaine. Cette prégnance de l'IA dans toutes les activités nous oblige à nous positionner en tant que communauté du Génie Logiciel (GL) afin d'identifier les opportunités et les interactions entre GL et IA qui s'offrent à nous dans les années qui viennent. Dans ce groupe de travail, nous nous proposons de réfléchir non seulement à ce que l'IA peut offrir au domaine du GL, mais aussi à comment les techniques du GL peuvent servir en retour le domaine de l'IA, notamment dans le cadre de systèmes intégrant des composants produits par des techniques d'IA.
David Delahaye 7.1 5
6
David Delahaye 28.1 7 Pour plus de détails sur les questions de recherche que ce GT se propose d'aborder, voir le défi[[ Génie Logiciel et Intelligence Artificielle>>https://gdrgpl.myxwiki.org/xwiki/bin/download/Main/WebHome/Ge%CC%81nie%20Logiciel%20et%20Intelligence%20Artificielle.pdf?rev=1.1]], sur lequel les idées de ce groupe se reposent très largement.
David Delahaye 3.1 8
David Delahaye 44.1 9 Les slides de la présentation du GT à la réunion d'organisation du GDR GPL 2021 sont également disponibles [[ici>>attach:Presentation_GT_GLIA__GDR_GPL.pdf]].
David Delahaye 3.1 10
11 == Porteurs du GT ==
12
13
David Delahaye 48.1 14 * **[[David Delahaye>>http://www.lirmm.fr/~~delahaye/]]** ([[David.Delahaye@lirmm.fr>>mailto:David.Delahaye@lirmm.fr]], Équipe MaREL, LIRMM, Université de Montpellier, CNRS, Montpellier)
Mireille Blay-Fornarino 55.1 15 * Romain Robbes
David Delahaye 48.1 16 * **[[Anne Etien>>http://www.lifl.fr/~~etien/]]** ([[Anne.Etien@univ-lille.fr>>mailto:Anne.Etien@univ-lille.fr]], Équipe RMoD, Cristal, Inria, Université de Lille, CNRS, Lille)
David Delahaye 14.1 17
David Delahaye 3.1 18 == Animations ==
19
20
David Delahaye 15.1 21 Les actions d'animations envisagées dans ce GT sont les suivantes :
David Delahaye 3.1 22
David Delahaye 17.1 23 * Organisation d'une journée annuelle :
24 ** Présentations de travaux en cours
25 ** Discussions, vie du groupe
David Delahaye 18.1 26 ** Organisation commune avec d'autres GT du GDR GPL et du GDR IA
27 * Organisation d'événements :
28 ** Workshops
29 ** Summer schools
30 ** Participations à des écoles de jeunes chercheurs
31 ** Formations
32 * Création d'une liste de diffusion dédiée :
33 ** Annonces des journées annuelles
34 ** Annonces de conférences, workshops, etc. dans le thème du GT
David Delahaye 20.1 35 ** Annonces de résultats (publications, outils, etc.) pertinents pour le groupe
David Delahaye 34.1 36 * Création d'un site web dédié :
37 ** Informations sur le GT (membres, objectifs, etc.)
38 ** Programmes et historique des journées annuelles
39 ** Pointeurs vers les événements organisés par le GT
40 ** Pointeurs vers les autres GT et GDR qui ont des interactions avec ce GT
David Delahaye 15.1 41
David Delahaye 4.1 42 == Équipes ==
David Delahaye 3.1 43
44
David Delahaye 13.1 45 Les équipes impliquées dans ce GT sont les suivantes :
46
David Delahaye 22.1 47 * **[[Équipe MaREL>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/Equipes/LIRMM%20-%20MaREL%20Team]]**, LIRMM, Université de Montpellier, CNRS, Montpellier :
David Delahaye 11.1 48 ** Nombre de permanents impliqués dans le GT : **8**
David Delahaye 24.1 49 ** Représentant dans l'équipe : **[[David Delahaye>>http://www.lirmm.fr/~~delahaye/]]**
David Delahaye 32.1 50 * **[[Équipe COCONUT>>https://www.lirmm.fr/recherche/equipes/coconut/]]**, LIRMM, Université de Montpellier, CNRS, Montpellier:
David Delahaye 30.2 51 ** Nombre de permanents impliqués dans le GT : **1**
David Delahaye 32.1 52 ** Représentant dans l'équipe : **[[Nadjib Lazaar>>http://www.lirmm.fr/~~lazaar/]]**
David Delahaye 23.1 53 * [[**Équipe RMoD**>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/Equipes/CRIStAL%20-%20RMoD]], Cristal, Inria, Université de Lille, CNRS, Lille :
David Delahaye 12.1 54 ** Nombre de permanents impliqués dans le GT : **2**
David Delahaye 24.1 55 ** Représentant dans l'équipe : **[[Anne Etien>>http://www.lifl.fr/~~etien/]]**
David Delahaye 13.1 56 * **EuroMov Digital Health in Motion**, Université de Montpellier, IMT Mines Ales, Ales :
David Delahaye 12.1 57 ** Nombre de permanents impliqués dans le GT : **2**
58 ** Représentant dans l'équipe :
David Delahaye 13.1 59 * **Équipe Progress**, LaBRI, CNRS et ENSEIRB, Bordeaux :
60 ** Nombre de permanents impliqués dans le GT : **1**
David Delahaye 24.1 61 ** Représentant dans l'équipe : **[[Jean-Rémy Falleri>>https://www.labri.fr/perso/falleri/perso/]]**
David Delahaye 13.1 62 * **LIG**, Université Grenoble Alpes, Grenoble :
63 ** Nombre de permanents impliqués dans le GT : **1**
David Delahaye 24.1 64 ** Représentant dans l'équipe : **[[Lydie du Bousquet>>http://membres-lig.imag.fr/dubousquet/]]**
David Delahaye 30.1 65 * **[[LISTIC>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/Equipes/LISTIC]]**, Université Savoie Mont Blanc, Annecy :
David Delahaye 13.1 66 ** Nombre de permanents impliqués dans le GT : **2**
David Delahaye 29.1 67 Représentant dans l'équipe : **[[Flavien Vernier>>https://www.listic.univ-smb.fr/presentation/membres/enseignants-chercheurs/flavien-vernier/]]**
David Delahaye 38.1 68 * [[**Équipe Caramel**>>https://www.cristal.univ-lille.fr/equipes/caramel/]], Cristal, Université de Lille, CNRS, Lille :
Anne Etien 37.1 69 ** Nombre de permanents impliqués dans le GT : **3**
70 ** Représentant dans l'équipe : **[[Gilles Vanwormhoudt>>http://pagesperso.telecom-lille.fr/vanwormhoudt/]]**
David Delahaye 39.1 71 * [[**Équipe SPARKS**>>https://www.i3s.unice.fr/fr/sparks/]], I3S, Université de Nice Sophia Antipolis, CNRS, Nice
David Delahaye 38.1 72 ** Nombre de permanents impliqués dans le GT : **2**
David Delahaye 40.1 73 ** Représentant dans l'équipe : **[[Mireille Blay-Fornarino>>http://mireilleblayfornarino.i3s.unice.fr/]]**
Anne Etien 40.2 74 * **[[CRIL>>http://www.cril.univ-artois.fr/]]**,** **Université d'Artois
75 ** Nombre de permanents impliqués dans le GT : **3**
76 ** Représentant dans l'équipe : **[[Daniel Le Berre>>http://www.cril.univ-artois.fr/~~leberre/]]**
David Delahaye 53.1 77 * [[**Équipe MoVe**>>url:https://www.lip6.fr/recherche/team.php?acronyme=MoVe]], LIP6, Sorbonne Université, CNRS, Paris:
Anne Etien 49.1 78 ** Nombre de permanents impliqués dans le GT : **1**
79 ** Représentant dans l'équipe : **[[Mikal Ziane>>url:https://pages.lip6.fr/Mikal.Ziane/]]**
Anne Etien 52.1 80 * **Axe SIDO, **[[DISP Lab>>https://www.disp-lab.fr/]], Université Lyon 2, Lyon :
Anne Etien 50.1 81 ** Nombre de permanents impliqués dans le GT : **1**
82 ** Représentant dans l'équipe : [[**Jannik Laval**>>http://www.jannik-laval.eu]]
David Delahaye 54.1 83 * [[**Équipe ARGOS**>>https://www.irit.fr/en/departement/dep-reliability-systems-and-software/argos-team/]], IRIT, Université de Toulouse, Toulouse :
David Delahaye 53.1 84 ** Nombre de permanents impliqués dans le GT : **3**
David Delahaye 54.1 85 ** Représentant dans l'équipe : **[[Ileana Ober>>https://www.irit.fr/~~Ileana.Ober/Home.html]]**
David Delahaye 53.1 86 * [[**Équipe SMAC**>>https://www.irit.fr/departement/intelligence-collective-interaction/equipe-smac/]], IRIT, Université de Toulouse, Toulouse :
Anne Etien 51.1 87 ** Nombre de permanents impliqués dans le GT : **4**
88 ** Représentant dans l'équipe : **[[Sylvie Trouilhet>>https://www.irit.fr/~~Sylvie.Trouilhet/]]**
Anne Etien 54.2 89 * **[[Equipe SM@rt>>https://www.irit.fr/departement/fiabilite-des-systemes-et-des-logiciels/smart/]], **IRIT, Université de Toulouse, Toulouse :
90 ** Nombre de permanents impliqués dans le GT : **3**
91 ** Représentant dans l'équipe : **[[Sophie Ebersold>>https://www.irit.fr/~~Sophie.Ebersold/]]**
92 * **[[Equipe ACADIE,>>https://www.irit.fr/departement/fiabilite-des-systemes-et-des-logiciels/equipe-acadie/]] **IRIT, Université de Toulouse, Toulouse :
93 ** Nombre de permanents impliqués dans le GT :
94 ** Représentant dans l'équipe : [[**Marc Pantel**>>http://pantel.perso.enseeiht.fr/dokuwiki/doku.php]]
95 * [[**Equipe DiverSE**>>https://www.diverse-team.fr]], Irisa, Université de Rennes, Rennes
96 ** Nombre de permanents impliqués dans le GT : 9
97 ** Représentant dans l'équipe : **[[Mathieu Acher>>http://www.mathieuacher.com]]**
David Delahaye 3.1 98
99 == Interactions ==
100
David Delahaye 31.3 101
David Delahaye 46.1 102 Le GT cherchera à mettre en place des liens, comme par exemple des journées de travail communes ou l'organisation d'événements communs, avec d'autres groupes du GDR GPL, notamment les GT [[HiFi>>doc:Main.GTs.GT HiFi \: Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents.WebHome]], [[IDM>>doc:Main.GTs.GT Ingénierie Dirigée par les Modèles.WebHome]], [[IE>>doc:Main.GTs.GT Ingénierie Des Exigences.WebHome]], [[Logiciel Éco-Responsable>>doc:Main.GTs.Logiciel Vert.WebHome]], [[LVP>>doc:Main.GTs.GT Langages et vérification de programmes (LVP).WebHome]], [[MTV2>>doc:Main.GTs.GT "Méthodes de test pour la validation et la vérification" (MTV2 ).WebHome]], [[Rimel>>doc:Main.GTs.GT Rimel.WebHome]], [[Sécurité dans le développement logiciel>>doc:Main.GTs.GT La sécurité dans le développement logiciel.WebHome]], [[VL>>doc:Main.GTs.GT Rimel.WebHome]], [[YODA>>doc:Main.GTs.YODA.WebHome]], ainsi qu’avec le [[GDR IA>>https://www.gdria.fr/]] et en particulier le [[GT CAVIAR>>https://www.gdria.fr/gt-caviar/]], qui rassemble des compétences autour de trois domaines de l’IA que sont la programmation par contraintes, l'apprentissage automatique et la fouille de données.