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
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
Workshop
- 25 Apr 2024 - 14:00
Workshop
Apr 25
14:00
2024
GT Daal - Data, Automata, Algebra & Logic - will take place at IRISA
from Apr 25 14:00 to Apr 26 18:00
Thesis
- 05 Feb 2024 - 09:00
Thesis
Feb 05
09:00
2024
Co-evolution in constantly evolving software systems .
Quentin LE DILAVREC (DiverSE)
Grand Amphi
from 09:00 to 12:00
HDR
- 31 Jan 2024 - 09:30
HDR
Jan 31
09:30
2024
Un voyage dans les modèles : du logiciel aux systèmes de systèmes socio-techniques
Nicolas BELLOIR
À l’Académie Militaire de Saint-Cyr Coëtquidan, Amphithéâtre CReC
Thesis
- 20 Dec 2023 - 14:00
Thesis
Dec 20
14:00
2023
Analyse Statique de Types Algébriques et de Tableaux/Static Analysis of Algebraic Data Types and Arrays
Santiago Sara Bautista
Markov
from 14:00 to 18:00
HDR
- 20 Dec 2023 - 00:09
HDR
Dec 20
00:09
2023
Contributions à la production de logiciels de qualité
Olivier ZENDRA
Petri-Turing
from 00:09 to 00:12
Thesis
- 18 Dec 2023 - 14:00
Thesis
Dec 18
14:00
2023
Compilation Sécurisée contre les Attaques par Canaux Auxiliaires/Secured Compilation against Side-Channel Attacks
Gautier Raimondi
Petri-Turing
from 14:00 to 18:00
Thesis
- 09 Nov 2023 - 10:00
Thesis
Nov 09
10:00
2023
Au-delà des Scores de Risque : Authentification Adaptative Tenant Compte du Contexte
Anne BUMILLER
Grand Amphi
from 10:00 to 14:00
Seminar
- 05 Oct 2023 - 09:00
Seminar
Oct 05
09:00
2023
Journée du département D4
Espace conférences Inria, Rennes
from 09:00 to 18:00
HDR
- 02 Oct 2023 - 14:00
HDR
Oct 02
14:00
2023
Contributions aux méthodes formelles pour les systèmes temporisés et probabilistes / Contributions on Formal Methods for Timed and Probabilistic Systems
Ocan SANKUR
Salle Metivier
from 14:00 to 17:00
Seminar
- 31 May 2023 - 11:00
Seminar
May 31
11:00
2023
Tristan Tomala, HEC Paris : Mechanism Design with Restricted Communication
Tristan Tomala HEC Paris
Lipari F202
from 11:00 to 12:00
Pagination
1
2
3
4
›
››
»
Last »
Subscribe to Evénements de l'IRISA