Aller au contenu principal
en
INTRANET
Menu du compte de l'utilisateur
Navigation principale
Laboratoire
Qui sommes nous ?
Missions
Historique
Accès & Contact
Recherche
Organisation
Départements/Equipes
Axes de recherche
Les plateformes
Production scientifique
Rayonnement scientifique
Partenariat académique
Valorisation & Innovation
Transfert d'innovation
Différents modes de collaboration
Au coeur d'un riche écosystème
Formation
Universités & Grandes écoles
Faire un doctorat
Faire un stage
Médiation scientifique
Recrutement
Les métiers
Offres d'emploi
Offres de thèses
Nouveaux arrivants
Agenda des événements
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
Pagination
«
« First
‹
‹‹
1
2
3
4