Réunion commune GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE (Ingénierie des Exigences)

La prochaine journée de notre groupe de travail aura lieu le mercredi 6 avril à Nantes.

Cela sera une journée particulière puisqu'elle sera commune aux GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE. Les exposés seront donc plutôt centrés sur des travaux relevant à la fois des thématiques des deux GT.

Journée commune des GT AFSEC et IE le 6 avril 2022 à Nantes

Les groupes de travail  AFSEC et IE s’associent pour proposer le 6 avril à Nantes 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 des thématiques des deux GT

Séminaire de Ivano Malavolta sur le logiciel efficient en énergie

Le groupe de travail "Logiciel Éco-Responsable" vous invite à son 2e séminaire de son cycle de séminaires de 2022 autour du logiciel vert, du Green IT, de l'éco-conception et des autres thématiques de notre GT.

Pour notre second séminaire, Dr Ivano Malavolta (enseignant-chercheur à l'Université Libre d’Amsterdam / Vrije Universiteit Amsterdam) nous parlera des logiciels efficients en énergie.
Son talk en Anglais est intitulé : Energy-Efficient Software: Tools, Experiments, and Education

Date : Jeudi 17 février à 14h

Séminaire de Jacques Combaz sur l'effet rebond

Le groupe de travail "Logiciel Éco-Responsable" vous invite à son cycle de séminaires de 2022 autour du logiciel vert, du Green IT, de l'éco-conception et des autres thématiques de notre GT.

Notre cycle de séminaire est mensuel, et débutera en janvier avec le séminaire du Dr Jacques Combaz, ingénieur de recherche au CNRS, qui nous parlera de l'effet rebond.

Date : Mercredi 12 janvier à 14h

Voir le replay

GT-Debugging : ressources 2021 en lignes (slides, vidéos)

Bonsoir à tous,

l'année 2021 du GT-Debugging s'est terminée par une présentation "Debugging Scientific Software" de Dorian Leroy, post-doc à Diverse/Inria, et dont les slides et vidéos sont disponibles ici.

Merci à Dorian pour sa super présentation !

Toutes les ressources du GT-Debugging (slides, vidéos) sont également disponibles sur notre serveur de fichiers .

Bonnes fêtes de fin d'année à tous, et à l'année prochaine pour le GT-Debugging 2022 !

Exposés et photos de la journée commune des GT IDM et IE du 9 décembre 2021 à Toulouse

Les exposés de la journée commune des GT IDM et IE du 9 décembre 2021 à Toulouse sont maintenant disponibles sur le site du GT IE : https://gdr-gpl-ie.lacl.fr/
 
Merci encore à tous les orateurs et les participants pour cette journée, en présentiel, qui fût très riche en échanges. 

Séminaire CLAP - 16/12/21 - recherche par types et Coq SydPaCC

Vous êtes cordialement invités à participer au séminaire CLAP le 16 décembre 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)

Au programme :
- 10h20-11h00 : Fast Indexing for Research by Types par Gabriel Radanne
- 11h00-11h40 : Automated and Verified Algorithmic Skeleton-based Parallelization of Functional Programs par Frederic Loulergue

Calls for 18th International Conference on Intelligent Environments (IE2022), 20-23 June 2022, Biarritz

Call for Papers || Short Papers || Demos & Videos || Doctoral colloquium 
 
18th International Conference on Intelligent Environments (IE2022), 20-23 June 2022, Biarritz, France

3rd meeting of the Yoda working group

The 3rd meeting of the Yoda working group was held remotely on

Monday, 29th of November, 2021, 14:00-16:00 CET 14:30-16:30 CET.

The program comprised three talks:

S'abonner à GDR GPL RSS