Events agenda

Les jeux de congestion dans les réseaux sous l’angle de la vérification

Suman SADHUKHAN (SUMO)

Métivier

from 10:00 to 13:00

Histoire d'un aller et retour : méthodes formelles et apprentissage de modèles pour les systèmes en temps réel

Léo Henry (SUMO)

Petri-Turing

from 15:00 to 19:00

Compilation vérifiée et sécurisée contre les canaux cachés temporels

Rémi HUTIN (CELTIQUE)

Salle du conseil - ENS RENNES - Campus de Ker Lan

from 14:00 to 17:00

Modelling, Reverse Engineering, and Learning Software Variability - Soutenance HDR Mathieu ACHER

Mathieu ACHER ( DiverSE)

Métivier

from 15:00 to 17:00

Connected Multi-Agent Path Finding - How Robots Get Away with Texting and Driving

Arthur QUEFFELEC

Salle Métivier

from 15:00 to 18:00

ICPE 2021 12th ACM/SPEC International Conference on Performance Engineering

from Apr 19 14:00 to Apr 23 19:00

Optimisation de l’utilisation des énergies renouvelables : Un Jumeau Numérique pour les micro-grilles

Alexandre RIO

Salle Petri-Turing

from 15:00 to 18:00

Automatic Verification of Higher-Order Functional Programs using Regular Tree Languages

Timothée HAUDEBOURG

Pétri-Turing

from 10:00 to 14:00

Vérification efficace de systèmes en temps réel

Victor Roussanaly (SUMO)

Métivier

from 14:00 to 18:00

Vérification formelle du protocole d'échange de clé IKEv2

Tristan Ninet (TAMIS)

IRISA Rennes, salle Metivier

from 14:00 to 16:00