Actualités du département Informatique
À venir
Cette année
- Aline Goeminne, maitresse de conférences au département InformatiqueLe 1 septembre 2025Depuis la rentrée 2025, Aline Goeminne a rejoint le département Informatique en tant que maîtresse de conférences. Elle enseigne principalement l’algorithmique et l’informatique théorique. Côté recherche, elle s’intéresse à la théorie des jeux, au sein de l’équipe DEVINE (Inria / IRISA).
- Microarchitectural attacks and provable defenses.Le 24 septembre 2025Intervention de Lesly-Ann Daniel, maîtresse de conférences à EURECOM,dans le cadre des séminaires du département Informatique.
- Audits antagonistes des IAsLe 22 octobre 2025Intervention d'Erwan Le Merer, chercheur Inria au centre Inria de l'Université de Rennes, membre de l'équipe projet ARTISHAU, dans le cadre des séminaires du département Informatique.
- Fast Inference Methods in Natural Language ProcessingLe 5 novembre 2025Intervention de Caio Corro enseignant-chercheur à l'INSA Rennes et rattaché au laboratoire IRISA, membre de l'équipe LinkMedia, dans le cadre des séminaires du département Informatique.
- Collision finding, random walks and quantum algorithmsLe 19 novembre 2025Intervention de Yixin Shen chercheuse Inria au centre Inria de l'université de Rennes, membre de l'équipe-projet CAPSULE, dans le cadre des séminaires du département Informatique.
- Transducteurs réversibles sur mots infinisLe 26 novembre 2025Intervention de Loïc Germerie Guizouarn enseignant-chercheur à l'université de Rennes et rattaché au laboratoire IRISA, membre de l'équipe-projet DEVINE, dans le cadre des séminaires du département Informatique.
- Linear optimization: algorithms and ethicsLe 3 décembre 2025Intervention de Sophie Huiberts chercheuse CNRS rattachée au laboratoire LIMOS de l'université de Clermont-Ferrand, dans le cadre des séminaires du département Informatique.
-
- Synthèse de systèmes temps-réel corrects et performantsLe 4 mars 2026Intervention de Julie Parreaux maîtresse de conférences à l'ISTIC | Université de Rennes - équipe Irisa / Inria DEVINE, dans le cadre des séminaires du département Informatique.
- Vérification formelle de protocoles cryptographiques : ProVerif, 25 ans déjà !Le 18 mars 2026Intervention de Stéphanie Delaune, directrice de recherche CNRS (Irisa - équipe SPICY), dans le cadre des séminaires du département Informatique.
- Programmation par tâches : une vision du futur pour le calcul parallèleLe 25 mars 2026Intervention de Samuel Thibault, professeur à l'Université de Bordeaux (LaBRI - Équipe SATANAS), dans le cadre des séminaires du département Informatique.
- La théorie homotopique des typesLe 1 avril 2026Intervention de Samuel Mimram, professeur à l'École polytechnique (Laboratoire LIX- Équipe Cosynus), dans le cadre des séminaires du département Informatique.
Mise à jour le 13 octobre 2025
Archives
- Séminaires 2024-2025
- Séminaires 2023-2024
- Séminaires 2022-2023
- Séminaires 2021-2022
- Séminaires 2020-2021
- Séminaires 2019-2020
- Séminaires 2018-2019
- Séminaires 2017-2018
- Séminaires 2016-2017
- Séminaires 2015-2016
- Séminaires 2014-2015
- Séminaires 2013-2014
- Séminaires 2012-2013
- Séminaires 2011-2012
- Séminaires 2010-2011
- Séminaires 2009-2010
- Séminaires 2008-2009
- Séminaires 2007-2008
- Séminaires 2006-2007
- Séminaires 2005-2006
- Séminaires 2004-2005
- Séminaires 2003-2004
- Séminaires 2002-2003