Skip to main content
fr
INTRANET
Menu du compte de l'utilisateur
Navigation principale
50 years
Laboratory
Who we are ?
Missions
History
Access & Contacts
Research
Organisation
Departments & Teams
Transverse themes
Platforms
Scientific production
Scientific outreach
Academic partnership
Value & Innovation
Innovation transfert
Various modes of collaboration
At the heart of a rich ecosystem
Education
Universities & Grandes Ecoles
Do a PhD
Do an internship
Scientific Mediation
Recruitment
Roles in research
Job opportunities
Thesis offers
Newcomers
Events agenda
Thesis
- 30 Nov 2020 - 14:00
Thesis
Nov 30
14:00
2020
Vérification efficace de systèmes en temps réel
Victor Roussanaly (SUMO)
Métivier
from 14:00 to 18:00
Thesis
- 09 Mar 2020 - 14:00
Thesis
Mar 09
14:00
2020
Vérification formelle du protocole d'échange de clé IKEv2
Tristan Ninet (TAMIS)
IRISA Rennes, salle Metivier
from 14:00 to 16:00
Pagination
«
« First
‹
‹‹
1
2
3
4
5
Subscribe to Evénements de l'IRISA