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
Financer une thèse
Après la thèse
Médiation scientifique
Recrutement
Les métiers
Offres d'emploi
Offres de thèses
Nouveaux arrivants
Agenda des événements
Séminaire
- 31 May 2023 - 11:00
Séminaire
May 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 Apr 2023 - 14:00
Thèse
Apr 17
14:00
2023
Deep Software Variability
Luc LESOIL - équipe DIVERSE
Salle Petri-Turing
de 14:00 à 18:00
Workshop
- 13 Jan 2023 - 9:00
Workshop
Jan 13
9:00
2023
Workshop World Logic Day 2023 : Vendredi 13 janvier
Guillaume Aucher, Pierre Joray, Nicolas Markey
Belle-Ile F022
Thèse
- 19 Dec 2022 - 14:00
Thèse
Dec 19
14:00
2022
Classification de Logiciels Malveillants Dirigée par les Données et Assistée par des Méthodes d’Apprentissage Automatique
Cassius DE OLIVEIRA PUODZIUS (DIVERSE)
Grand Amphi
de 14:00 à 17:00
Séminaire
- 20 Oct 2022 - 9:30
Séminaire
Oct 20
9:30
2022
Journée du département D4
Espace conférences Inria
de 9:30 à 17:00
Thèse
- 19 Oct 2022 - 14:00
Thèse
Oct 19
14:00
2022
Titre de la soutenance : Sémantiques Squelettiques pour Calculs de Processus
Guillaume AMBAL
Salle METIVIER
de 14:00 à 18:00
Workshop
- 25 Aug 2022 - 9:00
Workshop
Aug 25
9:00
2022
LAMAS & SR : International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
Espace conférences Inria
du 25 Aug 9:00 au 26 Aug 18:00
Conférence
- 22 Aug 2022 - 9:00
Conférence
Aug 22
9:00
2022
AIML - Advances in Modal Logic 2022 Rennes, August 22-25
Espace conférences Inria
du 22 Aug 9:00 au 25 Aug 18:00
Thèse
- 07 Jun 2022 - 13:30
Thèse
Jun 07
13:30
2022
Vérification et synthèse automatisées de systèmes distribués: Application aux SDN
Abdul Majith NOORDHEEN (SUMO)
Petri-Turing
de 13:30 à 16:30
Séminaire
- 07 Jun 2022 - 9:00
Séminaire
Jun 07
9:00
2022
Journées nationales du GDR GPL - Génie de la Programmation et du Logiciel - 2022
Vannes
du 07 Jun 9:00 au 10 Jun 14:00
Séminaire
- 02 Jun 2022 - 9:30
Séminaire
Jun 02
9:30
2022
Séminaire crypto du CReC
Petri-Turing
de 9:30 à 17:00
Thèse
- 29 Apr 2022 - 14:00
Thèse
Apr 29
14:00
2022
Environnements de Développement Programmables : Réification des Protocoles de Langage en Objets de Première Classe
Pierre JEANJEAN
Grand Amphi
de 14:00 à 17:00
Pagination
1
2
3
›
››
»
Last »