Events agenda

Powering Low-Power Wake-up Radios with RF Energy Harvesting

Jesus ARGOTE-AGUILAR (GRANIT)

Amphithéatre 138C - ENSSAT LANNION

from 10:00 to 13:00

Energy optimization of wireless IoT communications with reinforcement learning

Jules COURJAULT (GRANIT)

Salle J. LE SQUIN - 020G - ENSSAT LANNION

from 10:00 to 13:00

Soutenance de thèse de Matthieu Baty (équipe SUSHI) : "Formal Specification and Verification of Security Mechanisms for RISC-V Processors"

Matthieu Baty - équipe SUSHI

Salle 213 à CentraleSupélec

from 13:00 to 18:00

Conception d’une chaîne instrumentale infrasonore radio-communicante autonome en énergie / Design of an Energy Autonomous Radio-Connected Infrasound Measurement Chain

Samir-Sharif EL RHAZ (GRANIT)

Salle J. LE SQUIN - 020G - ENSSAT LANNION

from 10:00 to 13:00

Identification par apprentissage de l’empreinte radio-fréquence de dispositifs sensibles

Alice CHILLET (GRANIT)

Amphithéatre 138C - ENSSAT LANNION

from 10:00 to 13:00

Modèle d’exécution conscient de l’énergie pour les systèmes intermittents

Hugo Reymond

Salle Métivier

from 14:00 to 17:00

Scaling El Capitan: Progress towards the U.S. DOE/NNSA first exascale computer

Judith Hill

Salle Aurigny (Bâtiment Inria, D165, niveau Orange)

from 13:45 to 14:30

Journée du département 3 "Architecture"

from 08:30 to 17:00

Méthodes pour l’exploration rapide d’architectures multicœurs basées sur les réseaux sur puce avec des technologies émergentes

Ibrahim KRAYEM (TARAN)

Salle 1 Espace Saint Anne, Lannion

from 09:30 to 13:30

Machine Learning for timing estimation

Nassim AMALOU (LACODAM/PACAP)

Métivier

from 14:00 to 18:00

Amélioration de la sécurité des systèmes embarqués, temps réels et critiques

BELLEC Nicolas

Aurigny

from 09:30 to 11:00

On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic

Stéphane KASTENBAUM (équipe TEA)

Belle-île (F022)

from 14:00 to 16:00