Monthly Archives: January 2025

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

Posted on by

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/

Journée commune au CT SED et au GT AFSEC.

Posted on by


Le CT SED (GDR MACS) et le GT AFSEC (GDR GPL) s’associent pour organiser une journée d’étude commune le 30 janvier 2025 au CNAM à Paris. Cette journée, gratuite et ouverte à tous, sera l’occasion de partager et de discuter des enjeux autour de la sécurité et des méthodes formelles, dans le but de mieux comprendre les problématiques de chacun et, pourquoi pas, de favoriser de nouvelles collaborations.

Le programme de la journée :
– Yan Monier : Identification adaptative de système à un automate hybride dans le contexte des jumeaux numériques Cyber-Physiques
– Mouna Gaouar : Timed Output Synchronized Petri Nets and Synchronized State Class Graphs
– Olivier Boutin : PyMinMaxGD: Python Scripting in a Dioid Framework to solve Control Problems.
– Anthony Spriet : Non-interférence temporisée avec observation partielle et mémoire bornée
– Théo Serru : Offuscation en ligne du flot d’instructions : preuve formelle et proposition pour l’implémentation sur CVA6
– Mohamed Ghazel : K/K_min diagnosability analysis in labeled Petri nets by means of linear algebraic optimization

Contributeurs du site

Posted on by

La plupart des utilisateurs du site GDR-GPL sont des “contributeurs”. Ils peuvent déposer un “post”, qui doit être approuvé par les administrateurs du site. Ce dépôt se fait en cliquant sur “Submit for Review”, l’article est dans l’état “pending”. En cliquant sur “Publish”, l’article devient visible! Une fois accepté, son contributeur ne peut plus le modifier.

Dans un premier temps, le statut de contributeur sera accordé aux membres du bureau et aux responsables de groupes de travail qui en feront la demande.