Séminaires 2020 - 2021
- Séminaire #1 mercredi 16/09/2020 par David Pichardie : Formal Verification of a Constant-Time Preserving C Compiler Le 16 septembre 2020Intervention de David Pichardie, professeur des universités à l'ENS Rennes, chercheur dans l'équipe CELTIQUE de l'IRISA et Inria Rennes, dans le cadre des séminaires du département Informatique et télécommunications.
- Séminaire #2 mercredi 30/09/2020 par Stéphanie Challita : Automated Reverse-Engineering of a Cloud API Le 30 septembre 2020Intervention de Stéphanie Challita, maîtresse de conférence à l'Université Rennes 1 et chercheuse dans l'équipe Diverse de l'IRISA et Inria Rennes, dans le cadre des séminaires du département Informatique et télécommunications.
- Séminaire #3 mercredi 04/11/2020 par Ocan Sankur : An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP Le 4 novembre 2020Intervention de Ocan Sankur, chercheur dans l'équipe SUMO de l'IRISA et Inria Rennes, dans le cadre des séminaires du département Informatique et télécommunications.
- Séminaire #4 mercredi 02/12/2020 par Charlotte Pelletier : Deep Learning for Time Series Classification: Application to Earth Observation time series Le 2 décembre 2020Intervention de Charlotte Pelletier, chercheuse dans l'équipe OBÉLIX de l'IRISA, à Vannes, dans le cadre des séminaires du département Informatique et télécommunications.
- Séminaire #5 mercredi 09/12/2020 par Gilles Tissot : Modélisation stochastique des structures cohérentes en mécanique des fluides Le 9 décembre 2020Intervention de Gilles Tissot, chercheur dans l'équipe Fluminance de l'IRMAR et Inria Rennes, dans le cadre des séminaires du département Informatique et télécommunications.
- Séminaire #6 mardi 09/02/2021 par Matthieu Dorier : « Gestion des données sur les supercalculateurs exaflopiques » Le 9 février 2021Intervention de Matthieu Dorier, chercheur en calcul haute performance (HPC) à l'Argonne National Laboratory aux USA, dans le cadre des séminaires du département Informatique et télécommunications.
- Séminaire #7 mardi 16/03/2021 par Kévin Huguenin - Génétique, Famille et Vie Privée Le 16 mars 2021Intervention de Kévin Huguenin, professeur et chercheur à l'Université de Lausanne (UNIL) en Suisse, dans le cadre des séminaires du département Informatique et télécommunications.
- Séminaire #8 mardi 23/03/2021 par Claire Cury - Neuro-imagerie et neurosciences numériques. Le 23 mars 2021Intervention de Claire Cury, chercheuse dans l'équipe Empenn de l'IRISA et Inria Rennes, dans le cadre des séminaires du département Informatique et télécommunications.
- Séminaire #10 mardi 13/04/2021 par François Tessier - Allocation dynamique de ressources de stockage sur infrastructures hybrides Le 13 avril 2021Intervention de François Tessier, chercheur dans l'équipe Ker Data de l'IRISA et Inria Rennes, dans le cadre des séminaires du département Informatique et télécommunications.
- Séminaire #11 mardi 20/04/2021 par Simon Castellan - Outils algébriques pour la modélisation des programmes Le 20 avril 2021Intervention de Simon Castellan, chercheur dans l'équipe CELTIQUE de l'IRISA et Inria Rennes, dans le cadre des séminaires du département Informatique et télécommunications.
Mise à jour le 3 septembre 2021
Archives
- 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