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
50 ans - Conférence
- 04 Feb 2025 - 09:00
Conférence
Feb 04
09:00
2025
VaMoS
Espaces conférence Inria
from Feb 04 09:00 to Feb 06 13:00
Thesis
- 17 Dec 2024 - 09:00
Thesis
Dec 17
09:00
2024
Automatic Program Verification by Inference of Relational Models
Théo Losekoot, EPICURE
Métivier
from 09:00 to 13:00
Thesis
- 16 Dec 2024 - 14:00
Thesis
Dec 16
14:00
2024
Soutenance de thèse de Solène Mirliaz : "Analyse statique relationnelle de coût sur architecture superscalaire"
Solène Mirliaz
Salle du conseil à l'ENS Rennes
from 14:00 to 18:00
Thesis
- 16 Dec 2024 - 09:00
Thesis
Dec 16
09:00
2024
Mécanisme de sécurité contre les attaques temporelles via une coopération entre logiciel et matériel embarqué/Constant time security through cooperation between software and embedded hardware
Jean-Loup Hatchikian-Houdot (EPICURE)
Petri-Turing
from 09:00 to 13:00
Thesis
- 11 Dec 2024 - 14:00
Thesis
Dec 11
14:00
2024
Soutenance de thèse de Nicolas Waldburger, équipe DEVINE team : Parameterized verification of distributed shared-memory systems
Nicolas Waldburger
METIVIER
from 14:00 to 17:00
Thesis
- 11 Dec 2024 - 09:00
Thesis
Dec 11
09:00
2024
Mesurer et garantir le niveau de sécurité d’une architecture de SoS
Monica BUITRAGO (équipe SecReizh/Archware)
from 09:00 to 17:00
Thesis
- 04 Nov 2024 - 09:00
Thesis
Nov 04
09:00
2024
Designing languages for expressing dependencies in strategic reasoning
Dylan BELLIER
Salle Métivier
from 09:00 to 13:00
Thesis
- 12 Sep 2024 - 16:00
Thesis
Sep 12
16:00
2024
On the Security Risks of Open Source Consumption - Vulnerabilities and Supply-Chain Attacks in the Era of Open-Source-Based Software Development
Henrik PLATE
salle Petri-Turing
from 16:00 to 19:00
Thesis
- 09 Sep 2024 - 14:00
Thesis
Sep 09
14:00
2024
Soutenance de thèse Gwendal JOUNEAUX (DiverSE) - le 09/09/2024 à 14h00 en salle Petri-Turing
Gwendal JOUNEAUX
Petri-Turing
from 14:00 to 17:00
Seminar
- 05 Sep 2024 - 10:30
Seminar
Sep 05
10:30
2024
"Is It Time to Shift from Cybersecurity to Cyber Resilience?"
Prof. Mehdi Mirakhorli (University of Hawaii at Manoa)
- Vannes et Lorient : Salle immersive TPI SSI, Rennes : Salle immersive TPI ETI Beaulieu (PNRB)
from 10:30 to 12:00
Seminar
- 27 May 2024 - 08:30
Seminar
May 27
08:30
2024
MOVEP'24: 16th school on modelling and verification of parallel processes
from May 27 08:30 to May 31 16:00
Thesis
- 14 May 2024 - 09:00
Thesis
May 14
09:00
2024
Analyse Statique pour Sémantique Squelettique / Static Analysis for Skeletal Semantics.
Vincent Rébiscoul (EPICURE)
Petri-Turing
from 09:00 to 18:00
Pagination
1
2
3
4
5
›
››
»
Last »
Subscribe to Evénements de l'IRISA