Appel à participation : Journée GT HiFi

Journée HIFI : MERCREDI 12 JANVIER 2022


Nous avons le plaisir de vous inviter à la première réunion du GT HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents. Pour plus d'informations sur le GT HiFi, vous pouvez consulter la page suivante

Vous retrouverez toutes les informations sur le site web de cette journée.

Journée Vélocité Logicielle le 2 décembre sur Paris

Le GT Vélocité Logicielle (VL) organise une journée en présentiel le 2 décembre aussi au LIP6.

 

 

Journées GL & IA le 2 décembre sur Paris

Le groupe de travail Génie Logiciel et Intelligence Artificielle (GLIA) du GDR GPL organisera une journée de travail le jeudi 02 décembre 2021, en présentiel cette année, au LIP6, Jussieu, à Paris.

Séminaire CLAP - 18/11/21 - Machine learning compiler and MLIR

Vous êtes cordialement invités à participer au séminaire CLAP le 18 novembre 2021 de 10h15 à 11h40. Le séminaire se fera en visio sur zoom (info de connexion ci-dessous). 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 anglais.

Le programme :

Journée Retour d’Expériences (REX) et d’échanges sur les thèses CIFRE

Vous aimeriez avoir des pistes pour collaborer dans le cadre de Thèses CIFRE? Vous galérez à trouver des entreprises, des équipes de recherche? Vous avez une expérience à partager? Vous vous demandez quel est l’intérêt pour des étudiants ou leurs difficultés?

Programme de la journée des GT IE-IDM du 9 décembre à Toulouse

La journée aura lieu dans l’amphithéâtre AMPERE sur le Campus de l’Université Toulouse 3 Paul Sabatier. Vous trouverez le plan du Campus ici

Séminaire CLAP - 21/10

Deuxième journée du GT LVP, en présentiel et en ligne, mardi 23 novembre 2021

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

 

Séminaire CLAP - 23/09/21

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.

S'abonner à GDR GPL RSS