Show last authors
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.
2
3
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.
5
6
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.
8
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]].
10
11 == Porteurs du GT ==
12
13
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)
15 * **[[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)
16
17 == Animations ==
18
19
20 Les actions d'animations envisagées dans ce GT sont les suivantes :
21
22 * Organisation d'une journée annuelle :
23 ** Présentations de travaux en cours
24 ** Discussions, vie du groupe
25 ** Organisation commune avec d'autres GT du GDR GPL et du GDR IA
26 * Organisation d'événements :
27 ** Workshops
28 ** Summer schools
29 ** Participations à des écoles de jeunes chercheurs
30 ** Formations
31 * Création d'une liste de diffusion dédiée :
32 ** Annonces des journées annuelles
33 ** Annonces de conférences, workshops, etc. dans le thème du GT
34 ** Annonces de résultats (publications, outils, etc.) pertinents pour le groupe
35 * Création d'un site web dédié :
36 ** Informations sur le GT (membres, objectifs, etc.)
37 ** Programmes et historique des journées annuelles
38 ** Pointeurs vers les événements organisés par le GT
39 ** Pointeurs vers les autres GT et GDR qui ont des interactions avec ce GT
40
41 == Équipes ==
42
43
44 Les équipes impliquées dans ce GT sont les suivantes :
45
46 * **[[Équipe MaREL>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/Equipes/LIRMM%20-%20MaREL%20Team]]**, LIRMM, Université de Montpellier, CNRS, Montpellier :
47 ** Nombre de permanents impliqués dans le GT : **8**
48 ** Représentant dans l'équipe : **[[David Delahaye>>http://www.lirmm.fr/~~delahaye/]]**
49 * **[[Équipe COCONUT>>https://www.lirmm.fr/recherche/equipes/coconut/]]**, LIRMM, Université de Montpellier, CNRS, Montpellier:
50 ** Nombre de permanents impliqués dans le GT : **1**
51 ** Représentant dans l'équipe : **[[Nadjib Lazaar>>http://www.lirmm.fr/~~lazaar/]]**
52 * [[**Équipe RMoD**>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/Equipes/CRIStAL%20-%20RMoD]], Cristal, Inria, Université de Lille, CNRS, Lille :
53 ** Nombre de permanents impliqués dans le GT : **2**
54 ** Représentant dans l'équipe : **[[Anne Etien>>http://www.lifl.fr/~~etien/]]**
55 * **EuroMov Digital Health in Motion**, Université de Montpellier, IMT Mines Ales, Ales :
56 ** Nombre de permanents impliqués dans le GT : **2**
57 ** Représentant dans l'équipe :
58 * **Équipe Progress**, LaBRI, CNRS et ENSEIRB, Bordeaux :
59 ** Nombre de permanents impliqués dans le GT : **1**
60 ** Représentant dans l'équipe : **[[Jean-Rémy Falleri>>https://www.labri.fr/perso/falleri/perso/]]**
61 * **LIG**, Université Grenoble Alpes, Grenoble :
62 ** Nombre de permanents impliqués dans le GT : **1**
63 ** Représentant dans l'équipe : **[[Lydie du Bousquet>>http://membres-lig.imag.fr/dubousquet/]]**
64 * **[[LISTIC>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Maps/Equipes/LISTIC]]**, Université Savoie Mont Blanc, Annecy :
65 ** Nombre de permanents impliqués dans le GT : **2**
66 Représentant dans l'équipe : **[[Flavien Vernier>>https://www.listic.univ-smb.fr/presentation/membres/enseignants-chercheurs/flavien-vernier/]]**
67 * [[**Équipe Caramel**>>https://www.cristal.univ-lille.fr/equipes/caramel/]], Cristal, Université de Lille, CNRS, Lille :
68 ** Nombre de permanents impliqués dans le GT : **3**
69 ** Représentant dans l'équipe : **[[Gilles Vanwormhoudt>>http://pagesperso.telecom-lille.fr/vanwormhoudt/]]**
70 * [[**Équipe SPARKS**>>https://www.i3s.unice.fr/fr/sparks/]], I3S, Université de Nice Sophia Antipolis, CNRS, Nice
71 ** Nombre de permanents impliqués dans le GT : **2**
72 ** Représentant dans l'équipe : **[[Mireille Blay-Fornarino>>http://mireilleblayfornarino.i3s.unice.fr/]]**
73 * **[[CRIL>>http://www.cril.univ-artois.fr/]]**,** **Université d'Artois
74 ** Nombre de permanents impliqués dans le GT : **3**
75 ** Représentant dans l'équipe : **[[Daniel Le Berre>>http://www.cril.univ-artois.fr/~~leberre/]]**
76 * [[**Équipe MoVe**>>url:https://www.lip6.fr/recherche/team.php?acronyme=MoVe]], LIP6, Sorbonne Université, CNRS, Paris:
77 ** Nombre de permanents impliqués dans le GT : **1**
78 ** Représentant dans l'équipe : **[[Mikal Ziane>>url:https://pages.lip6.fr/Mikal.Ziane/]]**
79 * **Axe SIDO, **[[DISP Lab>>https://www.disp-lab.fr/]], Université Lyon 2, Lyon :
80 ** Nombre de permanents impliqués dans le GT : **1**
81 ** Représentant dans l'équipe : [[**Jannik Laval**>>http://www.jannik-laval.eu]]
82 * [[**Équipe ARGOS**>>https://www.irit.fr/en/departement/dep-reliability-systems-and-software/argos-team/]], IRIT, Université de Toulouse, Toulouse :
83 ** Nombre de permanents impliqués dans le GT : **3**
84 ** Représentant dans l'équipe : **[[Ileana Ober>>https://www.irit.fr/~~Ileana.Ober/Home.html]]**
85 * [[**Équipe SMAC**>>https://www.irit.fr/departement/intelligence-collective-interaction/equipe-smac/]], IRIT, Université de Toulouse, Toulouse :
86 ** Nombre de permanents impliqués dans le GT : **4**
87 ** Représentant dans l'équipe : **[[Sylvie Trouilhet>>https://www.irit.fr/~~Sylvie.Trouilhet/]]**
88 * **[[Equipe SM@rt>>https://www.irit.fr/departement/fiabilite-des-systemes-et-des-logiciels/smart/]], **IRIT, Université de Toulouse, Toulouse :
89 ** Nombre de permanents impliqués dans le GT : **3**
90 ** Représentant dans l'équipe : **[[Sophie Ebersold>>https://www.irit.fr/~~Sophie.Ebersold/]]**
91 * **[[Equipe ACADIE,>>https://www.irit.fr/departement/fiabilite-des-systemes-et-des-logiciels/equipe-acadie/]] **IRIT, Université de Toulouse, Toulouse :
92 ** Nombre de permanents impliqués dans le GT :
93 ** Représentant dans l'équipe : [[**Marc Pantel**>>http://pantel.perso.enseeiht.fr/dokuwiki/doku.php]]
94 * [[**Equipe DiverSE**>>https://www.diverse-team.fr]], Irisa, Université de Rennes, Rennes
95 ** Nombre de permanents impliqués dans le GT : 9
96 ** Représentant dans l'équipe : **[[Mathieu Acher>>http://www.mathieuacher.com]]**
97
98 == Interactions ==
99
100
101 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.