Aller au contenu principal
en
INTRANET
Menu du compte de l'utilisateur
Navigation principale
Laboratoire
Qui sommes nous ?
Missions
Historique
Accès & Contact
Recherche
Organisation
Départements/Equipes
Axes de recherche
Les plateformes
Production scientifique
Rayonnement scientifique
Partenariat académique
Valorisation & Innovation
Transfert d'innovation
Différents modes de collaboration
Au coeur d'un riche écosystème
Formation
Universités & Grandes écoles
Faire un doctorat à l'IRISA
Faire un stage à l'IRISA
Médiation scientifique
Recrutement
Les métiers
Offres d'emploi
Offres de thèses
Nouveaux arrivants
Agenda des événements
Séminaire
- 27 mai 2024 - 08:30
Séminaire
mai 27
08:30
2024
MOVEP'24: 16th school on modelling and verification of parallel processes
du 27 mai 08:30 au 31 mai 16:00
Workshop
- 25 avr 2024 - 14:00
Workshop
avr 25
14:00
2024
GT Daal - Data, Automata, Algebra & Logic - will take place at IRISA
du 25 avr 14:00 au 26 avr 18:00
Thèse
- 05 fév 2024 - 09:00
Thèse
fév 05
09:00
2024
Co-evolution in constantly evolving software systems .
Quentin LE DILAVREC (DiverSE)
Grand Amphi
de 09:00 à 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
Thèse
- 20 déc 2023 - 14:00
Thèse
déc 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
de 14:00 à 18:00
HDR
- 20 déc 2023 - 00:09
HDR
déc 20
00:09
2023
Contributions à la production de logiciels de qualité
Olivier ZENDRA
Petri-Turing
de 00:09 à 00:12
Thèse
- 18 déc 2023 - 14:00
Thèse
déc 18
14:00
2023
Compilation Sécurisée contre les Attaques par Canaux Auxiliaires/Secured Compilation against Side-Channel Attacks
Gautier Raimondi
Petri-Turing
de 14:00 à 18:00
Thèse
- 09 nov 2023 - 10:00
Thèse
nov 09
10:00
2023
Au-delà des Scores de Risque : Authentification Adaptative Tenant Compte du Contexte
Anne BUMILLER
Grand Amphi
de 10:00 à 14:00
Séminaire
- 05 oct 2023 - 09:00
Séminaire
oct 05
09:00
2023
Journée du département D4
Espace conférences Inria, Rennes
de 09:00 à 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
de 14:00 à 17:00
Séminaire
- 31 mai 2023 - 11:00
Séminaire
mai 31
11:00
2023
Tristan Tomala, HEC Paris : Mechanism Design with Restricted Communication
Tristan Tomala HEC Paris
Lipari F202
de 11:00 à 12:00
Thèse
- 17 avr 2023 - 14:00
Thèse
avr 17
14:00
2023
Deep Software Variability
Luc LESOIL - équipe DIVERSE
Salle Petri-Turing
de 14:00 à 18:00
Pagination
1
2
3
4
›
››
»
Last »