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
- 11 Mar 2022 - 09:00
Thesis
Mar 11
09:00
2022
Robustesse des automates temporisés: calculer les stratégies les plus permissives
Emily Clément (SUMO)
Amphitheâtre G
from 09:00 to 12:00
Thesis
- 03 Mar 2022 - 14:00
Thesis
Mar 03
14:00
2022
Vers des Environnements de Développement Intégrés flexibles
Fabien COULON (DIVERSE)
Salle Petri-Turing
from 14:00 to 17:00
Thesis
- 23 Feb 2022 - 14:30
Thesis
Feb 23
14:30
2022
Aide à la décision sur l'évaluation des risques associés à l'exploitation des milieux souterrains
June BENVEGNU-SALLOU (DIVERSE)
Salle Petri-Turing
from 14:30 to 17:30
Thesis
- 21 Dec 2021 - 14:00
Thesis
Dec 21
14:00
2021
Developing new techniques for packing detection and unpacking to stop malware propagation
Lamine NOUREDDINE (DiverSE)
Salle Petri-Turing
from 14:00 to 17:00
Thesis
- 17 Dec 2021 - 10:00
Thesis
Dec 17
10:00
2021
Simplifier la création, la maintenance et l'évolution des APIs REST
Antoine CHERON (DiverSE)
Salle Aurigny
from 10:00 to 13:00
Thesis
- 16 Dec 2021 - 14:00
Thesis
Dec 16
14:00
2021
Assistance à la spécification de contraintes OCL dans les métamodèles
Elyes CHERFA (DIVERSE)
Amphithéâtre 103 Bâtiment DSEG à Vannes
from 14:00 to 18:00
Thesis
- 16 Dec 2021 - 10:00
Thesis
Dec 16
10:00
2021
Machine learning for performance modelling on colossal software configuration spaces
Hugo MARTIN (DIVERSE)
Salle Métivier
from 10:00 to 13:00
Thesis
- 09 Dec 2021 - 10:00
Thesis
Dec 09
10:00
2021
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
Thesis
- 03 Dec 2021 - 15:00
Thesis
Dec 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
from 15:00 to 19:00
Thesis
- 01 Dec 2021 - 14:00
Thesis
Dec 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
from 14:00 to 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
from 15:00 to 17:00
Thesis
- 11 Oct 2021 - 15:00
Thesis
Oct 11
15:00
2021
Connected Multi-Agent Path Finding - How Robots Get Away with Texting and Driving
Arthur QUEFFELEC
Salle Métivier
from 15:00 to 18:00
Pagination
«
« First
‹
‹‹
1
2
3
4
›
››
»
Last »
Subscribe to Evénements de l'IRISA