Le GDR RADIA et le groupe de travail Ingénierie des Exigences (IE) du GDR GPL s’associent pour proposer une journée d’étude commune le 21 novembre 2024 au LIP6 à Paris.
Les exposés seront centrés sur des travaux relevant à la fois des thématiques IA et IE, comme par exemple l’IE pour l’IA (l’IE pour une IA de confiance, comment définir le quoi, pour qui, comment lors de la conception d’un système IA, …), l’IA pour l’IE (comment l’IA peut aider à exprimer, analyser, vérifier des exigences, … )
Voici le planning de la journée :
– 9h30 – 10h : accueil « café »
– 10h – 10h45 : Grégoire MENGUY (CEA) : Black-box Precondition Inference through Constraint Acquisition,
– 10h45 – 11h30 : Filipo Peroto (ONERA) : DeepGreen en projet pour embarquer et certifier de l’IA dans le cadre aéronautique.
– 11h30 – 12h15 : Abdelkarim El Hajjami (Doctorant en informatique, Université Paris 1 Panthéon-Sorbonne) : Évaluation Comparée des Techniques d’IA pour la Classification des Exigences : Support Vector Machines (SVM), Long Short-Term Memory (LSTM) et GPT.
– 12h15 – 13h45 : Buffet
– 13h45 – 14h30 : Thuy Nguyễn (EDF) : La formalisation automatique des exigences en langage naturel est-elle possible ?
– 14h30 – 15h15 : Antoine Guiziou (Doctorant en droit privé, Université Paris 1 Panthéon-Sorbonne : Deadbots vs Griefbots : Enjeux conceptuels, techniques et juridiques pour l’ingénierie des exigences en IA
– 15h15 – 15h45 : Pause
– 15h45 – 16h30 : Julien Girard (CEA) : Spécifier et vérifier des propriétés de sûreté sur de l’IA
– 16h30 – 17h : Discussion
La journée se déroulera dans la salle 25-26/105 du LIP6, campus de Jussieu (plan d’accès).
