Soumis par Alain.Giorgetti le 23 Septembre, 2021 - 08:48
Le groupe de travail LVP (Langages et Vérification de Programmes) vous invite à une journée de séminaire au LIP6 à Paris, le mardi 23 novembre 2021. Les informations sur la journée sont régulièrement mises à jour sur la page
https://groupes.renater.fr/wiki/lvp/public/2109journee
Bien cordialement,
Alain Giorgetti, Antoine Miné et Julien Signoles
Le séminaire CLAP du 23 septembre de 10h15 à 12h15 portera sur le thème "compilation et verification". Le séminaire se fera en visio sur zoom (cf ci-dessous pour les info de connexion). Vous êtes également conviés à un café CLAP de 10h à 10h15 sur gather.town (https://gather.town/app/7giEyr3CTKAwe3Or/cafeCLAP). Les talks se feront en français.
Soumis par Regine.Laleau le 17 Septembre, 2021 - 10:29
Les groupes de travail Ingénierie des Exigences (IE) et Ingénierie Dirigée par les Modèles (IDM) s’associent pour proposer le 9 décembre 2021 à Toulouse une journée d’étude commune sur ces thématiques. Les exposés seront donc plutôt centrés sur des travaux relevant à la fois de l'IDM et des exigences.
Si vous souhaitez présenter vos travaux, n'hésitez pas à nous contacter :
Le prochain meeting du GT debugging se tiendra le 7 juillet 2021 de 13h à 13h45 sur Zoom.
Au programme :
- 1 bug story (vous voulez raconter votre histoire ? Contactez moi au plus vite ! :) )
- 1 Présentation, Pierre Laborde (Thales) :
Prototypage IHM pour la défense : déboguage et correctifs distribués à chaud et sans interruption de système collaboratifs en cours d’exécution
- 15 minutes de libre discussion et d'échanges.
À bientôt !
Steven.
Soumis par Thomas.Polacsek le 28 Mai, 2021 - 15:21
Le vendredi 28 mai 2021 s'est tenue la journée de lancement dut GT IE. Quelques chiffres : 31 personnes ont participé à l'événement et 21 équipes de recherche ont pu présenter leurs travaux en lien avec la thématique. Par ailleurs il a été décidé d'organiser quatre journées thématiques : (a) IE et sécurité, (b) IE et IdM, (c) élicitation, IE et écosystème et (d) IE et IA.
Merci à tous les orateurs et à bientôt lors des journées du GDR et plus précisément à la journée du GT IE le vendredi 18 juin de 13:30 à 15:30
Les journées nationales du GDR GPL se dérouleront en virtuel du 14 au 18 juin 2021. Elles seront colocalisées avec AFADL, CIEL et l'EJCP.
L'inscription est gratuite mais obligatoire, pour nous permettre de dimensionner correctement les outils de visio-conférence. Le site d'inscription commun à ces événements est ouvert :
Soumis par Regine.Laleau le 25 Mai, 2021 - 15:00
Le GT Ingénierie des Exigences se réunira vendredi 28 matin de 9h00 à 12h30 sur ZOOM
Soumis par Eric.Cariou le 12 Mai, 2021 - 02:09
La journée du 10 mai du GT IDM a été un succès avec 45 participants et 7 exposés très intéressants qui ont couverts les 3 défis identifiés dans ce GT. Un grand merci à tous les orateurs !
Des perspectives intéressantes ont été mises en évidence, notamment dans le cadre de l’exposé de Benoit Combemale qui a ouvert la journée.
Les enregistrements de la journée sont disponibles en ligne :
Pages
Les journées nationales du GDR GPL se dérouleront en virtuel du 14 au 18 juin 2021. Elles seront colocalisées avec 