Appel à présentation et participation aux GreenDays 2025 à Rennes les 25 et 26 mars

La problématique d’un numérique écoresponsable recouvre plusieurs facettes qui sont adressées de différentes manières suivant les communautés scientifiques. Les GreenDays permettent d’aborder ces différents angles de vue grâce à des exposés invités et des propositions soumises par les participants et participantes.

Ces journées thématiques francophones sont organisées en collaboration avec les GDRs GPL, IASIS, MADICS, RSD, ROD, SOC2 et le GDRS EcoInfo et avec le soutien des PEPR Cloud et Réseaux du futur.

L’inscription est gratuite mais obligatoire avant le 11 mars 2025  (en fonction des places disponibles, pour des raisons de logistique).
Pour s’inscrire : https://greendays.sciencesconf.org/

Si vous souhaitez présenter des travaux (exposé ou poster), soumettez un titre et un résumé avant le 3 mars 2024 sur https://greendays.sciencesconf.org/

Planning de la Journée commune du GDR RADIA et du GT IE du GDR GPL – 21 Novembre 2024

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 : https://www.lip6.fr/informations/comment.php).