Agenda des événements

Thèse - 09 déc 2021 - 10:00

Thèse
déc 09	10:00
2021

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

Suman SADHUKHAN (SUMO)

Métivier

de 10:00 à 13:00

Thèse - 03 déc 2021 - 15:00

Thèse
déc 03	15:00
2021

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

de 15:00 à 19:00

Thèse - 01 déc 2021 - 14:00

Thèse
déc 01	14:00
2021

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

de 14:00 à 17:00

HDR - 16 nov 2021 - 15:00

HDR
nov 16	15:00
2021

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

Mathieu ACHER ( DiverSE)

Métivier

de 15:00 à 17:00

Thèse - 11 oct 2021 - 15:00

Thèse
oct 11	15:00
2021

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

Arthur QUEFFELEC

Salle Métivier

de 15:00 à 18:00

Conférence - 19 avr 2021 - 14:00

Conférence
avr 19	14:00
2021

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

du 19 avr 14:00 au 23 avr 19:00

Thèse - 26 fév 2021 - 15:00

Thèse
fév 26	15:00
2021

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

Alexandre RIO

Salle Petri-Turing

de 15:00 à 18:00

Thèse - 15 déc 2020 - 10:00

Thèse
déc 15	10:00
2020

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

Timothée HAUDEBOURG

Pétri-Turing

de 10:00 à 14:00

Thèse - 30 nov 2020 - 14:00

Thèse
nov 30	14:00
2020

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

Victor Roussanaly (SUMO)

Métivier

de 14:00 à 18:00

Thèse - 09 mar 2020 - 14:00

Thèse
mar 09	14:00
2020

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

Tristan Ninet (TAMIS)

IRISA Rennes, salle Metivier

de 14:00 à 16:00