Vidéothèque 
Depuis 2008, les présentations sont lues avec le plug-in Flash, disponible 
L'habilitation à diriger des recherches,
ou HDR, sanctionne la reconnaissance du haut niveau scientifique du
candidat, du caractère original de sa démarche dans un
domaine de la science, de son aptitude à maîtriser une
stratégie de recherche dans un domaine scientifique ou technologique
suffisamment large et de sa capacité à encadrer de jeunes
chercheurs. Elle permet notamment d'être candidat à l'accès
au corps des professeurs d'université.
2011
Arnaud Gotlieb (projet Celtique)
Contribution à la génération de tests à base de contraintes - 12 décembre 2011
Résumé :
Ces dernières années, les recherches en matière de Test Logiciel ont conduit au développement de techniques de résolution de contraintes dédiées, dans ce qui est appelé "le test à base de contraintes''. Notre approche dans ce domaine vise à explorer l'apport de la Programmation par Contraintes à la génération automatique de test pour les programmes impératifs. (lire la suite)
Daniel Ménard (projet Cairn)
Contribution à la conception de systèmes en virgule fixe (29 novembre 2011)
Résumé :
Mes activités de recherche se situent dans le domaine de l'implantation efficace d'applications de traitement du signal et de l'image (TDSI) au sein de systèmes embarqués. Face à la complexité grandissante des applications implantées au sein des systèmes embarqués, et face à la nécessité de réduire les temps de mise sur le marché, des méthodes et les outils associés sont nécessaires pour automatiser le processus d'implantation de ces applications sur des plateformes embarquées. (lire la suite)
François Taiani (projet Asap)
Programmation des grands systèmes distribués: quelques mécanismes, abstractions et outils - 17 novembre 2011
Résumé:
À l'interface entre informatique distribuée et génie logiciel, nous présentons trois contributions liées aux problématiques de réutilisation du logiciel dans trois cas représentatifs de systèmes distribués grande échelle: les réseaux logiques pair-à-pair, les protocoles épidémiques, et les intergiciels de grille. (lire la suite)
Benoit Caillaud (projet S4)
Analysis, synthesis and control of concurrent systems - 23 mars 2011
My research interests cover the realization by algorithmic methods of concurrent systems from partial and heterogeneous specifications. (read the rest)
2010
Benoit Baudry (projetTriskell)
Question-learn-test-feedback pattern to test emerging software construction paradigms -10 décembre 2010
This habilitation introduces the question-learn-test-feedback pattern that resulted from a series of investigations in the domains of software testing and modular software construction. (read the rest)
Sébastien Pillement (projet Cairn)
Conception d'architectures reconfigurables dynamiquement: du silicium au système - 22 octobre 2010
Ces travaux de recherche portent sur la conception de systèmes reconfigurables dynamiquement. L’évolution constante des applications et le besoin toujours croissant de performances imposent le développement de nouvelles architectures performantes et flexibles. (lire la suite)
David Cachera (projet Celtique)
Analyses statiques: certifier et quantifier - 30 août 2010
Ce travail présente quelques contributions dans le domaine des méthodes formelles de vérification des systèmes matériels et logiciels. Pendant longtemps, la seule technique utilisable à grande échelle pour vérifier un système informatique, a été le test. S'il permet de trouver des erreurs, il ne garantit pas en revanche leur absence. Les méthodes formelles en revanche poursuivent cet objectif, puisqu'elles assurent l'absence de certaines classes d'erreurs. (lire la suite)
Arnaud Tisserand (projet Cairn)
Etude et conception d'opérateurs arithmétiques - 6 juillet 2010
Ce travail présente quelques contributions en arithmétique des ordinateurs pour le matériel et le logiciel. L'arithmétique des ordinateurs est la branche de l'informatique qui traite des représentations des nombres, des algorithmes pour effectuer les calculs de base en machine, la validation de la qualité des calculs, l'analyse de l'efficacité des calculs et des outils d'aide à la conception de systèmes de calcul arithmétique. (lire la suite)
Charles Kervrann (projet Serpico)
Modèles statistiques pour l'analyse d'images, algorithmes et applications en imagerie bio-cellulaire et moléculaire - 29 juin 2010
Ces dernières années, les avancées en microscopie multidimensionnelle et multimodale couplées aux nouvelles techniques de marquage par sondes fluorescentes types GFP ( "Green Fluorescent Protein" ) ont révolutionné la biologie moléculaire et cellulaire. Grâce à ces instruments technologiques d'investigation de haute résolution, des avancées considérables en biologie fondamentale ont déjà été obtenues dans la description des principales voies de transport membranaire, dans les mécanismes de tri et d'adressage des protéines et dans le maintien ou la défaillance de l'intégrité fonctionnelle des compartiments de la cellule. ( lire la suite )
Anatole Lécuyer (projet Bunraku)
Using eyes, hands and brain for 3D interaction with virtual environments: a perception-based approach - 18 juin 2010
Far beyond science-fiction clichés, Virtual Reality (VR) technologies can be used in a wide range of applications including, for instance, industrial virtual prototyping, medical training or architectural project review. (lire la suite)
Daniel Chillet (projet Cairn)
Contribution à la gestion dynamique d'une ressource reconfigurable intégrée au sein d'un MPSoC - 8 juin 2010
Le domaine des technologies de l’électronique et de l’informatique a subi d’importantes évolutions dans les dernières années, aussi bien du point de vue matériel que du point de vue applicatif. L’évolution matérielle est en grande partie ‘’tirée’’ par l’augmentation de la densité d’intégration des technologies de fabrication des circuits qui peuvent maintenant mettre en œuvre des milliards de transistors. (lire la suite)
L'ensemble des soutenances HDR, (enregistrées à l'Inria-Rennes depuis 2001)
L'ensemble des habilitations présentées à l'Inria-Rennes (documents PDF ou PostScript).
Cette
rubrique inclue les rencontres Intech elles-mêmes, et les journées de
veille technologique, consacrées à des programmes de recherche. Animés par le club InTech,
leur objectif est d'informer les partenaires industriels et les chercheurs
collaborant avec eux sur un certain nombre de projets, des avancées
de la recherche dans leur domaine.
2009
Rencontre du 4 décembre 2009
La sécurité des applications web: les enjeux de l'engineering des codes
Cette rencontre thématique, organisée par le centre Inria-Rennes, en partenariat avec le pôle Images & Réseaux et la technopole Rennes Atalante, a eu pour thème, les questions de sécurité lors de la mise en oeuvre des applications web. Un échange de points de vue (scientifique, technologique et commercial) s'est donné pour but de mieux comprendre ces différentes problématiques. (Lire la suite)
Depuis une quinzaine d’années, Inria organise les "Rencontres Inria-Industrie", manifestations nationales et thématiques au cours desquelles, Inria présente son offre de recherche et de transfert à destination des entreprises d’un secteur donné, en en premier lieu des PME.
La télévision du futur (17 novembre 2011)
Au cours de cette rencontre, des professionnels des médias ont croisé des industriels et des sociologues sur des thèmes comme la 3D, la tv interactive, la tv connectée... En présence de ces défis technologiques, ils se sont interrogés sur les contenus de ces nouveaux médias, de même que sur les usages qu'ils faisaient naître.
Ces rencontres thématiques annuelles sont enregistrées depuis 2003.
9ème rencontres de la plate-forme bioinformatique
Ontologies for biology and bioinformatics - 18 octobre 2011
Le thème retenu, cette année, pour cette rencontre, était "Ontologies for biology and bioinformatics". L'ensemble des exposés, s'inspirant à la fois des données de la biologie et de la bioinformatique, a permi au public de découvrir différents aspects des ontologies: leur utilisation, le développement d'une ontologie, le contrôle et l'exploitation des données via les ontologies, etc...
8èmes rencontres de la plate-forme bioinformatique
Les techniques NGS (Next Generation Sequencing) - 22 octobre 2010
Cette année, pour la 8ème édition de ces rencontres, le thème retenu était le Séquençage de Nouvelle Génération. Les interventions, mêlant biologie et bio-informatique, ont permises au public de découvrir les différents aspects des NGS d’un point de vue bio-informatique : projets dans le Grand Ouest, algorithmique, etc.
Le 30 avril 2008, dans le cadre de la signature de la convention du Siscom Bretagne, Albert Benveniste et Claude Berrou ont présenté deux exposés prospectifs,
dans lesquels ils mettent l'accent sur le rôle grandissant de la
théorie de l'information dans le développement des sciences, en premier
lieu, de l'informatique.
Albert Benveniste (Inria)
Composer des services dans un monde ouvert
Ces services devront être à la fois bâtis à l'aide d'offres de services préexistantes ouvertes (les /composants/) et offrir toutes sortes de garanties : corrections des transactions, sécurité, assurance de performance. (lire la suite)
Claude Berrou (Télécom Bretagne)
Métamorphoses et promesses du codage correcteur d'erreurs
Le codage correcteur d'erreurs, ou écriture redondante de l'information, est une fonction importante des systèmes de télécommunications modernes. (lire la suite)
En 2010, un partenariat a été initié entre le centre Inria de Rennes et le lycée René Descartes, lequel permet à des chercheurs de venir présenter leur métier et la spécificité de leurs travaux devant des lycéens. Le but de ces conférences est de sensibiliser le public scolaire à la fois aux stimulations et aux contraintes de la recherche scientifique.
Jocelyne Erhel (Sage) - Des modèles numériques pour analyser les nappes phréatiques - 8 mars 2012
Le 8 mars 2012, dans le cadre des conférences amphis de Descartes, découlant d'un partenariat entre le centre Inria et le lycée René Descartes, Jocelyne Erhel, responsable de l'équipe-projet SAGE, a présenté devant des élèves de 1ère S, un exposé scientifique destiné à les sensibiliser aux recherches qu'elle conduit au sein de son équipe, à savoir, l'élaboration de modèles numériques pour l'analyse des nappes phréatiques. (lire la suite)
Jules Espiau de Lamaëstre (Metiss) - A la découverte du traitement des signaux audio - 16 décembre 2011
Le 16 décembre 2011, dans le cadre des conférences amphis de Descartes, découlant d'un partenariat entre le centre Inria et le lycée René Descartes, Jules Espiau de Lamaëstre, ingénieur de recherche au sein du projet Metiss à Inria-Rennes, a présenté devant les lycéens, un exposé sur le thème du traitement du signal audio. (lire la suite)
Pierre Peterlongo ( Symbiose) - La bioinformatique, c'est quoi ? - 12 mai 2011
Dans son intervention, Pierre Peterlongo resitue son travail de chercheur en bioinformatique, au sein de l'Inria. Il définit les concepts essentiels de la bioinformatique en s'appuyant sur des exemples concrets, et met en relief, l'apport de sa discipline au développement récent et rapide des connaissances dans le domaine de la biologie. (lire la suite)
Sébastien Gambs ( Adept) - Le respect de la vie privée dans la société de l'information - 29 mars 2011
Pendant son intervention, Sébastien Gambs a présenté les enjeux liés à la protection de la vie privée dans un contexte numérique en illustrant certains dangers à travers des exemples. Il a discuté aussi des techniques de protection qui existent actuellement pour protéger son intimité numérique et comment limiter les risques en pratique.
Pierre Hellier (Serpico) - Imagerie médicale et neuronavigation - 3 décembre 2010
Lors de cette conférence-débat, Pierre Hellier a pu présenter les spécificités de son travail de chercheur, insister sur le caractère pluridisciplinaire de ces recherches, et montrer les débouchés pratiques de ses travaux.
L'exposé prenait place dans le cadre d'un cycle annuel de conférences scientifiques thématiques, organisées par le lycée René Descartes, "mathématiques et neurosciences".
Entre 2004 et 2008, dans le cadre de la formation interne, sous l'égide du service de la formation permanente, quatre
écoles chercheurs se sont déroulées, à l'extérieur de l'Inria. Elles
sont consultables, avec d'autres manifestations scientifiques et des
événements à caractère social et culturel, sur le site interne du centre Inria-Rennes.
Ecole chercheurs - 28-30 janvier 2008
Sécurité des logiciels et des contenus
Ces conférences ont la particularité d'être faites dans le cadre de manifestations officielles auxquelles le centre Inria de Rennes est pleinement associé.
Ces deux conférences scientifiques se sont déroulées dans le cadre de l'inauguration du nouvel espace conférence du centre Inria de Rennes, le 18 mai 2011.
Anne-Marie Kermarrec (INRIA - projet Asap)
Ces internautes qui nous veulent du bien (18 mai 2011)
Anne-Marie Kermarrec, directrice de recherche INRIA, au sein de l'équipe-projet Asap, présente un système décentralisé de diffusion d'information.
Denis Rouffet (LTE - Alcatel-Lucent)
Auto-organisation dans les réseaux mobiles de quatrième génération (18 mai 2011)
Dans son intervention, Denis Rouffet fait un point sur une des spécificités des réseaux de quatrième génération qui devraient offrir une plus grande simplicité d'opération grâce à des méthodes d'auto-organisation. (lire la suite)
Une journée, au cours de laquelle, Inria invitait l'Académie des Sciences, s'est déroulée à l'occasion de la remise des prix Michel Monpetit et Blaise Pascal à deux chercheurs du centre, Anne-Marie Kermarrec (Asap) et Rémi Gribonval (Metiss).
A.M. Kermarrec & R. Gribonval
Journée Inria - Académie des Sciences - 8 décembre 2011
Au cours de cette journée, François Baccelli a présenté une histoire de l'Académie des Sciences, puis Anne-Marie Kermarrec, Rémi Gribonval et Patrick Flandrin ont successivement présenté un exposé scientifique.
Le 8 juin 2011, au centre Inria de Rennes, le Labex COMIN Labs a été inauguré par Patrick Bouthémy, directeur du centre et Albert Benveniste, responsable scientifique du Labex, en présence de représentants de l'Université et de la Région. Au cours de cette journée, un ensemble d'exposés scientifiques a été présenté, relatifs aux thèmes de recherche du Labex.
Journée de lancement du Labex COMIN LABS - (8 juin 2011)
Ces conférences thématiques mensuelles, liées aux Stic, ont été
initiées en 2009, par le pôle Communication du centre Inria-Rennes. Le
spécialiste d'un domaine propre aux Stic, est invité à venir présenter
un thème d'actualité, lié au développement des technologies numériques.
Un trait majeur de ces conférences réside dans leur caractère convivial
et ouvert. Autre point marquant: elles s'adressent bien-sûr aux
chercheurs, mais également aux non-spécialistes.
Fabien Torre (Université Lille-3) - 30 mars 2012
L'intérêt du hasard dans la vie de tous les jours et en informatique
Fabien Torre est maître de conférences à l'Université Charles de Gaulle-Lille-3. Il est également chargé de recherche au sein de l'EPI Mostrare (Inria-LNE)
Face à certains problèmes, il peut être intéressant de répondre au hasard !
Il peut également être pertinent de déterminer à quel point le hasard intervient dans un phénomène auquel nous sommes confrontés.
Nous prenons quelques exemples de ces situations et discutons de l'aptitude de l'être humain à mettre en oeuvre des stratégies impliquant de l'aléatoire. (lire la suite)
Action de sensibilisation au handicap (Inria-Rennes)- 6 mars 2012
Le 6 mars 2012, au centre Inria Rennes - Bretagne Atlantique s'est déroulée, en partenariat avec l'association l'ADAPT-Bretagne, une action de sensibilisation sur le thème du handicap. Dans son introduction, Bertrand Braunschweig a insisté sur l'importance de cette question du handicap pour Inria et la nécessité d'y accorder une attention spécifique, tant de la part des chercheurs que des acteurs sociaux.
Sandrine Happel, correspondante handicap du centre de Rennes, a ensuite présenté les grandes problématiques liées au handicap, en général, et plus particulièrement, à l'échelle d'Inria.
Puis, Jean-François Dando, de l'Adapt-Bretagne, a animé le débat entre la salle et trois intervenants, (Jacques Nicolas, Stéphanie Lemaile et Rose-Marie Proust), articulé autour d'un "quiz" destiné à "sonder" la vision qu'ont les participants du handicap, suivi de trois vidéos illustrant chacune, un aspect essentiel du handicap.
Fabien Gandon (Inria-Sophia-Antipolis) - 25 novembre 2011
Fabien Gandon est chercheur en informatique dans l’équipe Edelweiss de l’Inria de Sophia-Antipolis. Il s’intéresse aux formalismes et aux architectures du web sémantique, pour assister le cycle de vie des communautés en ligne dans leurs interactions et leur gestion de l’information. Ce domaine l’a amené à étudier l’analyse des réseaux sociaux et du social tagging à travers les langages du web sémantique. (lire la suite)
Dans cette présentation de 65 mn, dont ils étaient les héros, comme sur le web, les participants ont choisi eux-mêmes un parcours dans ces questions:
Vous connaissez le web, oui mais lequel ?
Le web documentaire tel qu’il naquît ?
Le web applicatif qui surgit des premiers moteurs de recherche ?
Le web social qui ressuscita des premiers wikis ?
Le web sémantique qui propage nos modèles et leurs logiques ?...
Vous lisiez le premier, que ferez-vous des autres ?
Guillaume Chelius (Inria-Rhône-Alpes) - 29 avril 2011
Biologging, BANet : du laboratoire au désert marocain, l'INRIA au Marathon des sables
Guillaume Chelius est chargé de recherche INRIA dans l'équipe DNET, hébergée à l'Ecole Normale Supérieure de Lyon.
Dans cette conférence de 66 mn, Guillaume Chelius aborde les préparatifs de l'épreuve, le nécessaire travail d'équipe dans la phase de conception des capteurs, et revient sur son engagement personnel dans le marathon. Dans la partie scientifique de l'exposé, il détaille le matériel de captation qu'il a utilisé lors de l'épreuve, et insiste sur le double intérêt, scientifique et humain, de cette expérience. (lire l'ensemble de la présentation)
Bruno Bossis (Université Rennes 2) - 25 mars 2011
Après avoir enseigné les transmissions numériques dans les télécommunications, Bruno Bossis, agrégé et docteur en musique, est actuellement Maître de conférences en analyse, nouvelles technologies et musicologie à l'Université Rennes 2, directeur adjoint du département Musique, co-responsable du master Arts et technologies Numériques et chercheur associé au laboratoire MIAC (lire la suite).
Dans cette conférence de 56 mn, Bruno Bossis aborde les problématiques, à la fois techniques et culturelles, découlants de l'utilisation des outils informatiques dans la création et la diffusion musicale.
Nicolas Roussel (équipe Mint - Inria-Lille nord-Europe ) - 25 février 2011
Interactions Homme-machine : quels grands objectifs?
Depuis septembre 2009, Nicolas Roussel est directeur de recherche INRIA à Lille, au sein de l'équipe MINT.
Auparavant, il était Maître de Conférences à l'Université Paris-Sud, et membre de l'équipe INSITU de l'INRIA.
Son domaine de recherche est l'Interaction Homme-Machine (IHM). L'IHM n'est pas la science des interfaces : son objet d'étude est l'interaction. (lire la suite)
David Monniaux (Verimag-Grenoble) - 28 janvier 2011
Dans cet exposé, David Monniaux, membre de l'association Wikimédia France, met l'accent sur le caractère complexe de cette encyclopédie en ligne, dont les rédacteurs - vous ou moi - ne sont pas tenus de vérifier leur contenu. Animé d'un double souci - à la fois pédagogique et scientifique, il interroge plus globalement la question de l'appropriation et de la diffusion du savoir, à l'heure où l'Internet pourrait ancrer dans l' esprit des jeunes générations, cette croyance dans l'omniscience. (lire la suite)
David Simplot-Ryl (Inria - Lille) - 29 octobre 2010
Le commerce révolutionné par les STIC
David Simplot-Ryl, enseignant à l'Université Lille1 - Sciences et Technologies, et responsable scientifique du projet Inria "Pops", a présenté un exposé sur le thème des puces RFID, en expliquant, notamment, les conséquences, au plan social, de leur développement et de leur utilisation croissante dans le monde du commerce. (lire la suite)
Jean-Marc Manach (InternetActu.Net) - 24 septembre 2010
Internet et vie privée : le point de vue des "petits cons"
Le 24 septembre 2010, dans le cadre des Conf'lunch, Jean-Marc Manach, journaliste d'investigation sur Internet, a présenté un exposé sur le thème du rapport entre Internet et la vie privée, en mettant en lumière les fantasmes de surveillance du réseau exprimés par nombre d'élus et de responsables politiques et l'extraordinaire permissivité pouvant être rencontrée sur la toile, à travers certains réseaux. (lire la suite)
Yvan Ridé (société Evodia) - 2 juillet 2010
TIC et éducation: l'apprentissage de l'écriture
Dans cet exposé, Yvan Ridé, directeur de la société Evodia, montre l'importance de l'acquisition des "gestes" de l'écriture cursive dans l'apprentissage de l'enfant (lire la suite).
Olivier Collin (Inria-Rennes) - 30 avril 2010
Accéder aux données du patrimoine génétique
Dans cet exposé, Olivier Collin, ingénieur de recherche au sein du projet Symbiose, à l'Inria-Rennes, nous montre les différents procédés utilisés par la bioinformatique pour "décoder" ce patrimoine génétique qui suscite en chacun de nous, tant de questions, au plan scientifique comme au plan philosophique. (lire la suite)
Eric Jamet (Université Rennes-2) -30 mars 2010
L'innovation à la rencontre des utilisateurs
Dans cet exposé, Eric Jamet nous montre, en s'aidant de plusieurs exemples, la complexité et la diversité du rapport entre l'ergonome et les utilisateurs de l'objet, dont il s'attache à définir les meilleurs critères d'utilisation, en évitant un certain nombre de pièges, inhérent à toute démarche d'acquisition de connaissances. (lire la suite)
Ces conférences sont faites à l'initiative de l'Irisa, mais elles impliquent pleinement des chercheurs Inria dans leur déroulement.
Commander directement par la pensée avec les
interfaces cerveau-ordinateur: un tour d'horizon à travers le projet Open VIBE - 2 février 2010
Dans cet exposé devant des étudiants de l'ENS-Cachan, Anatole Lécuyer revient sur son itinéraire de chercheur et détaille les méthodes de travail à l'oeuvre dans la réalisation du logiciel Open VIBE.
Objets communicants: challenges et perspectives - 31 mai - 1er juin 2011
Les 31 mai et 1er juin 2011, à l'initiative du département D2 "Réseaux, Télécommunication et services de l'Irisa", se sont tenues deux journées sur le thème des objets communicants, avec le soutien de l'école doctorale Matisse. César Viho, responsable du Département D2 - Irisa et Laurent Toutain, maître de conférences à Telecom Bretagne ont animé ces deux journées.
Vous y trouverez un ensemble de productions,
présentant une ancienneté relative (depuis 2001), principalement des
conférences et des séminaires, enregistrés à la demande d'équipes, mais
également de partenaires de l'Inria.