Skip to main content
fr
INTRANET
Menu du compte de l'utilisateur
Navigation principale
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
- 26 Feb 2021 - 15:00
Thesis
Feb 26
15:00
2021
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
Thesis
- 15 Dec 2020 - 10:00
Thesis
Dec 15
10:00
2020
Automatic Verification of Higher-Order Functional Programs using Regular Tree Languages
Timothée HAUDEBOURG
Pétri-Turing
from 10:00 to 14:00
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
Subscribe to Evénements de l'IRISA