Actualités du département Informatique
À venir
Cette année
- Recrutement : Maître de conférences H/F, Informatique Du 16 mars 2025 au 31 mars 2025Dans le cadre de la formation au Diplôme de l’ENS Rennes en informatique, notre département d’enseignement accueille des promotions de 20 à 25 élèves normalien·nes (certains fonctionnaires-stagiaires, d’autres étudiants) et leur propose une formation de haut niveau adossée sur la licence 3ème année, le master d’informatique de l’Université de Rennes, et sur la préparation à l’agrégation d’informatique. En plus des cours classiques en licence et master d’informatique, cette formation s’appuie sur des enseignements par projet, des cours de méthodologies pour les métiers de l’enseignement et la recherche, des stages de découverte en laboratoire et des séminaires de recherche bimensuels. Les enseignant·es du département effectuent leurs recherches à l’IRISA (UMR CNRS 6074).
- Monitoring cyber-physical systems using formal methods Le 12 mars 2025Intervention de Étienne André, professeur des universités à l'Université Sorbonne Paris Nord - LIPN, membre IUF,dans le cadre des séminaires du département Informatique.
- Allocations pour féminiser le recrutement dans les filières scientifiques Le 27 février 2025
- Putting knowledge back where neural networks can use it Le 26 février 2025Intervention de Remy Sun, chercheur au centre Inria de l'Université Côte d'Azur,dans le cadre des séminaires du département Informatique.
- Towards Resilient and Autonomous Human-Multi-Robot Collaboration Le 12 février 2025Intervention de Esteban Restrepo, chercheur au centre Inria de l'Université de Rennes,dans le cadre des séminaires du département Informatique.
- AI security: a game of weak signal design and detection Le 5 février 2025Intervention de Eva Giboulot, chercheuse au centre Inria de l'Université de Rennes,dans le cadre des séminaires du département Informatique.
- Un langage formel pour les diagrammes de séquence Le 29 janvier 2025Intervention de Erwan Mahe, dans le cadre des séminaires du département Informatique.
- Sur les invariants de boucles pour les "programmes en temps continu" Le 22 janvier 2025Intervention de Khalil Ghorbal, chercheur au centre Inria de l'Université de Rennes, dans le cadre des séminaires du département Informatique.
- Analyse statique relationnelle de coût sur architecture superscalaire Le 16 décembre 2024
- How radiation can mess with your AI and what we can do about it! Le 6 novembre 2024Intervention de Fernando Fernandes dos Santos, chercheur Inria au centre Inria de l'Université de Rennes, dans le cadre des séminaires du département Informatique.
- La vérification semi-active de programmes Le 4 novembre 2024
- La Biologie est-elle devenue une science des données ? Le 16 octobre 2024Intervention de Emmanuelle Becker, enseignante chercheuse à l'Université de Rennes, laboratoire IRISA, dans le cadre des séminaires du département Informatique.
- Strong Turing Completeness of Continuous Chemical Reaction Networks Le 9 octobre 2024Intervention de Amaury Pouly, chercheur CNRS, dans le cadre des séminaires du département Informatique.
- Interrogation de bases de connaissances incohérentes Le 2 octobre 2024Intervention de Camille Bourgaux, chercheuse CNRS à l'ENS Paris, dans le cadre des séminaires du département Informatique.
- Uniform convergence bounds via PAC-Bayes and Wasserstein distances Le 25 septembre 2024Intervention de Paul Viallard, chercheur Inria au centre Inria de l'Université de Rennes, dans le cadre des séminaires du département Informatique.
- Programming in the vector spaces of quantum datastructures Le 18 septembre 2024Intervention de Benoît Valiron, enseignant-chercheur à CentralSupélec, campus de Saclay, dans le cadre des séminaires du département Informatique.
- Machine learning pour la compression d'image et de vidéo Le 4 septembre 2024Intervention de Pierre Hellier, enseignant-chercheur à l'Université de Rennes et membre du laboratoire IRISA, dans le cadre des séminaires du département Informatique.
Année dernière
- Département Informatique : réunion d'information pour les candidats Le 25 juin 2024
- Contributions to Privacy-Preserving Data Intensive Systems Le 17 avril 2024Intervention de Tristan Allard, maître de conférences à l'Université de Rennes dans l'équipe SPICY à l'IRISA, dans le cadre des séminaires du département Informatique.
- Number Format Optimization Problems and How to Solve Them Le 10 avril 2024Intervention de Silviu-Ioan Filip, chargé de recherche à l'INRIA Rennes Bretagne Atlantique dans l'équipe Taran à l'IRISA, dans le cadre des séminaires du département Informatique.
- Aide au diagnostic assisté par ordinateur des maladies neurodégénératives : le dur passage des données de recherche aux données de routine clinique Le 20 mars 2024Intervention de Ninon Burgos, chercheuse CNRS à l'Institut du Cerveau dans le laboratoire ARAMIS, dans le cadre des séminaires du département Informatique.
- Leveraging vision-langage model to improve representation learning Le 14 février 2024
- Journée portes ouvertes 2024 Le 10 février 2024Le samedi 10 février, venez découvrir l'École normale supérieure de Rennes et ses départements d'enseignement et de recherche ! Toute la journée, visitez les stands tenus par des élèves, doctorant·es ou enseignant·es des départements, pour répondre à toutes les questions concernant les admissions, la formation, la recherche, les débouchés, la vie étudiante, etc. Nous mettons tout en œuvre pour répondre au mieux à toutes vos questions, que vous soyez présent·es dans nos locaux ou bien à distance.
- Model Checking Using Logic Solvers Le 7 février 2024Intervention de Ocan Sankur, chargé de recherche au CNRS dans l'équipe DEVINE, (anciennement SUMO) à l'IRISA, dans le cadre des séminaires du département Informatique.
- Genetic Improvement and Magpie Le 17 janvier 2024Intervention de Aymeric Blot, maître de conférences à l'Université de Rennes dans l'équipe DiverSE à l'IRISA, dans le cadre des séminaires du département Informatique.
- Analyse statique de types algébriques et de tableaux Le 20 décembre 2023
- Simulation de bout-en-bout de la consommation d’énergie des infrastructures fog et de leurs applications Le 8 décembre 2023
- Analyse et synthèse du mouvement humain Le 22 novembre 2023Intervention de Franck Multon, professeur des universités à l'Université de Rennes 2 dans l'équipe MimeTIC à l'IRISA et au sein du M2S, dans le cadre des séminaires du département Informatique.
- Comment développer du logiciel critique à grande vitesse ? Le cas de la blockchain Tezos Le 15 novembre 2023Intervention de Yann Régis-Giannas responsable de l'ingénierie chez Nomadic Labs, dans le cadre des séminaires du département Informatique.
- Le chemin vers une cohérence disponible Le 8 novembre 2023Intervention de Marc Shapiro directeur de recherche émérite INRIA, dans l'équipe Delys, dans le laboratoire LIP6 situé à Sorbonne Université, dans le cadre des séminaires du département Informatique.
- How to provide proof that software is bug-free? Verified compilation to the rescue Le 11 octobre 2023Intervention de Sandrine Blazy professeure à l'Université de Rennes dans l'équipe EPICURE, à l'IRISA, dans le cadre des séminaires du département Informatique.
- Représentation et formalisation d'une attaque avancée sur un système informatique Le 20 septembre 2023Intervention de Valérie Viet Triem Tong, enseignante-chercheuse à CentraleSupélec dans l'équipe CIDRE, à l'IRISA, dans le cadre des séminaires du département Informatique.
- Bandits manchots : agir et apprendre en même temps Le 6 septembre 2023Intervention de Romaric Gaudel, enseignant-chercheur à l'université de Rennes dans l'équipe LACODAM, à l'IRISA, dans le cadre des séminaires du département Informatique.
Mise à jour le 18 septembre 2024
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