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é.
2016
Pierre Peterlongo (projet GenScale)
Reading Reads: Sequencing Data Analysis - 25 janvier 2016
Tous les travaux présentés dans cette HDR concernent l’exploitation de données de séquençage haut débit en absence de génome de référence proche et de bonne qualité. Dans un premier chapitre, nous proposons de nouvelles approches pour extraire des variants biologiques d’intérêt de ces données de séquençage.((lire plus)
Paolo Robuffo Giordano (projet Lagadic)
Contributions to shared control and coordination of single and multiple robots - 15 janvier 2016
L’ensemble des travaux présentés dans cette habilitation traite de l'interface entre un d'un opérateur humain avec un ou plusieurs robots semi-autonomes aussi connu comme le problème du « contrôle partagé ».
Le premier chapitre traite de la possibilité de fournir des repères visuels / vestibulaires à un opérateur humain pour la commande à distance de robots mobiles. (lire plus)
Olivier Dameron (projet DyLISS)
Ontology-based methods for analyzing life science data - 11 janvier 2016
2015
Benoit Combemale (projet DiverSE)
Towards Language-Oriented Modeling - December 4th, 2015
In this habilitation à diriger des recherches (HDR), I review a decade of research work in the fields of Model-Driven Engineering (MDE) and Software Language Engineering (SLE). I propose contributions to support a language-oriented modeling, with the particular focus on enabling early validation & verification (V&V) of software-intensive systems. (read more)
Axel Legay (projet Estasys)
Contributions to statistical model checking - November 18th, 2015
Statistical Model Checking (SMC) is a powerful and widely used approach that consists in estimating the probability for a system to satisfy a temporal property. This is done by monitoring a finite number of executions of the system, and then extrapolating the result by using statistics. The answer is correct up to some confidence that can be parameterized by the user. (Read more)
Nathalie Bertrand (projet SUMO)
Contributions to the verification and control of timed and probabilistic models - November16th, 2015
The importance of model checking was acknowledged by a Turing award in 2007, and formal methods in general have proved extremely useful in the validation of hardware and software systems. These techniques are based on mathematical abstractions, and require models both of the system, and of the requirements it has to meet. (read more)
Julien Pettré (projet MIMETIC)
Toward realistic and efficient virtual crowds - June 25th , 2015
Crowd simulation was born from the need to understand, predict or imitate the behavior of real crowds. Applications are numerous, ranging from the architectural design of buildings aimed at hosting public to populating the background of virtual scenes for the movie industry. (Read more)
L'ensemble des soutenances HDR, (enregistrées à 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)
L'ensemble des rencontres Intech (depuis 2001)
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.
Rencontres Inria - Industrie & Meito: le bâtiment intelligent (21 mai 2015)
Cette édition 2015 des "Rencontres Inria-Industrie" traite de la transition numérique du bâtiment caractérisé par la rencontre de deux mondes aux historiques, aux méthodes et aux cycles de vie très différents. La mise à disposition de technologies numériques pour améliorer le confort, l’exploitation, l’efficacité énergétique, la sécurité des bâtiments, se heurte en particulier à la difficulté pour les équipements à dialoguer entre eux, ce qui freine la mise en place d’un système de management global, efficace et évolutif (lire la suite).
Rencontres Inria-Meito: répondre aux défis de l'ingénierie logicielle (23 janvier 2014)
Lors de ces rencontres, organisées conjointement par le centre Inria de Rennes et la Meito, des chercheurs-ingénieurs ont présenté un ensemble d'exposés sur les évolutions récentes du développement logiciel dans le monde industriel. A leur suite, des chercheurs Inria ont présenté leurs travaux récents dans le domaine du logiciel.
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.
Le 12 novembre 2014, la ville de Rennes obtenait le label FrenchTech. C’est dans ce cadre qu’Inria et la Cantine Numérique, lieu d’échanges privilégiés, ont décidé de co-organiser Le Pouce, toute première initiative s’inscrivant dans la French Tech Rennes.
Quatre rencontres-débats autour de thèmes propres au domaine du numérique, se sont déroulées lors de l'année 2015. Elles sont restituées ICI.
9ème édition du congrès Biotech du Grand Ouest - 31 mars 2016
Fil rouge: Les Biotechnologies bleues
Vous pouvez revoir les conférences plénières de Gurvan Michel (Station biologique de Roscoff), de Laura Lallier (Ghent University) et d'Olivier Gonçalves (GEPEA - Université de Nantes)
8ème édition du congrès Biotech du Grand Ouest - 26 mars 2015
Fil rouge: Agro&Biotech : les Biotechnologies au service de l'Agronomie...
Après la Mer en 2012, la Santé en 2013 et l'e-Science en 2014 à Saint-Malo, le fil rouge 2015 du congrès Gen2Bio a été "Agro&Biotech" : les Biotechnologies au service de l'Agronomie... Un fil rouge qui fait écho à la politique de notre Région d'accueil cette année, puisque les Pays de la Loire souhaitent devenir une référence européenne sur la transition et l’adaptation des systèmes alimentaires à l’horizon 2020 (RFI Alimentation).
12ème rencontres des plates-formes de Bioinformatique du Grand Ouest (IFB-GO) - 14 novembre 2014
Retour d'expérience des différentes communautés en biologie, sur la gestion de données
Cette édition 2014 consacrée à la gestion de données a permis à dix intervenants des différentes plate-formes du Grand ouest de présenter leurs travaux.
7ème édition du Congrès BioTech du Grand Ouest
Fil rouge: la e-Science
Le concept de e-Science ne représente pas seulement la nouvelle puissance des outils informatiques sur lesquels s’appuie la recherche, il fait aussi écho au concept de science collaborative et en réseau. Les quatre conférences présentées, cette année, à plus de 500 scientifiques du Grand Ouest, questionnaient sur le phénomène « Big data » et ses conséquences pour la recherche en sciences du vivant.
Ces rencontres thématiques annuelles sont enregistrées depuis 2003.
Les workflows en Bio-Informatique - 29 novembre 2013
Cette année, pour la 11ème édition de ces rencontres, la journée était consacrée aux workflows en bioinformatique. 9 exposés sont ici présentés.
10ème rencontres de la plate-forme bioinformatique
Les réseaux en Bio-Informatique - 30 novembre 2012
Cette année, la journée offrait deux volets : un volet technologique et un volet scientifique sur les réseaux en bio-informatique.
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.
L'ensemble des rencontres de la plate-forme.
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)
GHM-GNU Hacker's Meetings 2016 - 18th & 19th August 2016
This informal forum was held at Inria center in Rennes, to discuss technical, social and organizational on free software and GNU.
It is open to all persons interested in the GNU system and its objectives.
Similarity, K-NN, Dimensionality, Multimedia Databases - November 20th and 21st 2014
This workshop took place in the context of Laurent Amsaleg's HDR defense. During this two days, seven scientific talks were presented. Three of them have been recorded and edited on line.
µ Workshop on Computer Vision - 2 octobre 2014
Ce mini-workshop présente, au travers de cinq exposés, les derniers travaux dans le domaine de la VOT (visual object tracking).
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.
Les conférences sont enregistrées et consultables sur le site du lycée René Descartes .
Lionel Lenôtre (projet SAGE) - Diabolo grenadine et pollution agricole: un point commun - 19 mars 2015
Dans cet exposé, Lionel Lenôtre, doctorant au centre Inria Rennes-Bretagne Atlantique, présente successivement le cadre général de ses travaux, dans le domaine des mathématiques appliqués à l'environnement. Puis il montre comment un phénomène connu de tous (le mélange des fluides) s'explique par les lois de la physique et des mathématiques.
Jocelyne Erhel (projet SAGE) - La terre se met aux maths - 28 mars 2014
Dans cet exposé, présenté devant des élèves du lycée René Descartes, Jocelyne Erhel, responsable scientifique de l'équipe-projet SAGE, nous explique tout d'abord à quoi servent les maths, nous montre leur importance décisive dans les études de la planète Terre et, plus généralement, dans l'ensemble de la recherche scientifique.
Sylvain Prigent (projet Dyliss) - La bioinformatique présentée par un doctorant - 10 février 2014
Dans cet exposé, Sylvain Prigent, doctorant au centre Inria Rennes-Bretagne Atlantique, au sein du projet Dyliss, présente, successivement, le cadre général de la recherche scientifique en France, les différents cheminements pour devenir chercheur, les conditions concrètes et spécifiques dans lesquelles un chercheur effectue ses travaux.
Il présente ensuite le domaine d'études qui est le sien, la bioinformatique, à travers le thème de recherche de sa thèse, l'algue Ectocarpus.
Carl-Johan Jorgensen (MimeTIC) - Réalité virtuelle: Immersion, Animation et Intelligence Artificielle - 10 janvier 2013
Carl-Johan Jorgensen, doctorant au sein de l'équipe-projet MimeTIC, a présenté son exposé devant des classes de terminale du lycée Descartes, en expliquant les concepts sur lesquels repose son domaine de recherche, la réalité virtuelle. Il a ensuite présenté les applications auxquelles ces recherches ont donné lieu. En conclusion, il a également évoqué devant ces élèves en phase d'orientation, les conditions dans lesquelles il avait mené ses études scientifiques et les circonstances qui l'avait conduit à faire une thèse dans ce domaine.
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
L'ensemble des écoles chercheurs
Ces conférences ont la particularité d'être faites dans le cadre de manifestations officielles auxquelles le centre Inria de Rennes est pleinement associé.
Conference ICT-DM' 2015, November 30 to december 2, 2015
ICT-DM’2015 aims to bring together academics and practitioners who are involved in emergency services, ad hoc planning, disaster recovery, etc., to learn about the latest research developments, share experiences and information about this area and develop recommendations.
This page contains the three invited talks presented successively november 30, december 1 and december 2, 2015.
7ème édition du séminaire fOSSa 2015: l'Openness citoyenne et participative
Cette année, le séminaire fOSSa (Free Open Source Software for Academia) s'est tenu du 23 au 25 septembre 2015, à l'UFR d'Ondotologie de Nantes, à l'initiative d' Inria, de l'Université de Nantes, de la Fing et avec le soutien du LabFab de Rennes. Vingt chercheurs se sont retrouvés autour de la thématique de l'openness citoyenne et participative. A travers des exposés et des débats, ils ont confronté leurs analyses sur:
- les futures technologies ouvertes et leurs possibles impacts sur la société, qu'il s'agisse d'open source, d'open hardware, d'open networks et au-delà,
- des formats originaux :
* des tracks thématiques : citizen clouds, crowding research, crowd teaching, open design, la transition écologique, l'éducation libre
* des rendez-vous communautaires : débats, atelier de prospective organisé avec la Fing
Note: l'édition 2014 du séminaire fOSSa est en ligne sur framatube.org (dans l'onglet Recherchez, taper fOSSa 2014)
Conférence Gérard Berry-Thomas Jensen - 4 novembre 2015
Cette conférence sur les langages informatiques s'est déroulée en deux temps:
1/ un exposé de Gérard Berry, professeur au Collège de France, titulaire de la Chaire "Algorithmes, machines et langages", L'importance des langages en informatique
2/ un exposé de Thomas Jensen, directeur de recherche Inria, Integrating verification in programming languages
Conférence PFIA 2015 - 29 juin/3 juillet 2015
L'objectif de la plate-forme de l'Intelligence Articielle est de réunir chercheurs, industriels et étudiants autour de conférences et d'ateliers consacrés à l'Intelligence Artificielle. Cette manifestation est organisée tous les deux ans, en alternance avec le congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA).
Cette année, elle s'est déroulée au centre Inria Rennes-Bretagne atlantique, à l'initiative d'Inria et de l'AFIA.
7ème édition EWSHM - 8 - 11 juillet 2014
Lors de cette conférence (7th European Workshop on Structural Health Monitoring), organisée conjointement à la Cité des Congrès de Nantes, par Inria et l'Ifsttar de Nantes, onze exposés scientifiques et neuf démonstrations technologiques ont été enregistrés, faisant le point sur cette technologie émergente du SHM (Social Heath Monitoring).
INTERSPEECH 2013 - 25-29 August 2016
INTERSPEECH 2013 was held in Lyon (France)
from 25 to 29 August 2013, on the initiative of Inria and ISCA. You can review the four invited talks and some of the events surrounding the conference during these five days.
Journées Scientifiques Inria 2013 - 25 & 26 juin 2013
Au cours de ces deux journées organisées par la Direction scientifique d'Inria, 36 exposés scientifiques ont été présentés sur des thèmes couvrant l'ensemble des domaines de recherche d'Inria.
Selon Pascal Guitton, Directeur de la recherche à Inria, "Le principal objectif de ces Journées était de faire se croiser des communautés différentes afin de mieux partager nos activités et compétences existantes pour, d’une part, mieux les développer et les enrichir et, d’autre part, susciter de nouvelles idées et créer de nouvelles collaborations entre les EP existantes".
Le bilan des actions Handicap 2012 au centre Inria de Rennes - 15 novembre 2012
Cette conférence, présentée par Sandrine Happel et Evelyne Livache, dresse un bilan des actions menées, au sein du centre Inria de Rennes, dans le domaine du handicap, au cours de l'année 2012.
Un exposé scientifique présenté par deux chercheurs de l'équipe-projet Triskell, Olivier Barais et Johann Bourcier, inventorie quelques applications logicielles en lien avec la problématique du handicap.
Inauguration du nouvel espace conférence du centre Inria de Rennes, le 18 mai 2011
Lors de cette inauguration, deux conférences scientifiques se sont déroulées:
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)
Journée Inria - Académie des Sciences - 8 décembre 2011
Lors de cette journée, au cours de laquelle, Inria invitait l'Académie des Sciences, les prix Michel Monpetit et Blaise Pascal ont été remis à deux chercheurs du centre, Anne-Marie Kermarrec (Asap) et Rémi Gribonval (Metiss).
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.
Conférence BiogenOuest
Le 16 octobre 2012, dans le cadre de la plate-forme BiogenOuest, Luc Bougé, professeur à l'ENS-Cachan - Antenne de Bretagne, est venu faire un exposé, conçu comme une introduction aux derniers développements du cloud computing.
L'informatique dans les nuages: d'où vient-elle ? Qui est-elle ? Que peut-elle ?
Pour bien comprendre de quoi il s'agit et comment bien l'utiliser, il faut faire un retour sur les origines de l'effort d'externaliser... « dans le ciel bleu » toutes les activités informatiques : calcul, stockage, mais aussi acquisition des données, exploitation des résultats, etc. Cette vision a été popularisée vers 1995 sous le nom The Grid par analogie avec le réseau de distribution d'électricité (Power Grid). (lire la suite)
Rencontre l'Art numérique & la Recherche
Inauguration de Lunar Trails , oeuvre de Seb Lee Delisle, à Inria, suivie d'une conférence, "Art numérique & recherche: quelles interactions?"- 10 avril 2014.
Dans le cadre d'un partenariat entre le centre Inria et l'association Le Milieu, organisatrice de la manifestation Bouillants, dédiée aux arts numériques et multimédia en Bretagne, une oeuvre de Seb Lee Delisle, concepteur de Lunar Trails, a été inaugurée par Bertrand Braunschweig, en présence de l'artiste et de chercheurs intéressés par cette problématique du numérique et de ses retombées, notamment artistiques, sur la société.
Inauguration de l'oeuvre de l'architecte américain Marc Fornes & THEVERYMANY
Le 20 juin 2013, Bertrand Braunschweig, directeur du centre Inria de Rennes, et Sylvain Raillard, collaborateur de l'architecte Marc Fornes, ont inauguré une oeuvre conçue pour le centre de Rennes, dont la réalisation utilise les concepts et les outils de la recherche dans le domaine numérique.
Résultat de la volonté des établissements de recherche réunis au sein du Comité de Site Math-STIC de Rennes, le Colloquium a pour but de réunir périodiquement l’ensemble des chercheurs, enseignants-chercheurs et étudiants de la place rennaise qui s’intéressent aux sciences du numérique. Depuis le 17 avril 2013, et environ tous les deux mois, un nouveau cycle de belles conférences scientifiques se tient dans l’amphithéâtre du centre Inria Rennes – Bretagne Atlantique.
Colloquium Cognitive Green Communications (28 novembre 2013 - durée: 63 mn)
Lors de cette 5ème édition du colloquium, présentée par Frédéric Bimbot, Directeur de recherche (projet Panama), un exposé du professeur Honggang Zhang, CominLabs Excellence Center, UEB and Supelec
Colloquium Sciences et Musique (10 octobre 2013)
Lors de cette 4ème édition du colloquium, présentée par Frédéric Bimbot, Directeur de recherche (projet Panama), trois exposés scientifiques
Le professeur Mark Plumbey, (directeur de C4DM - Université Queen Mary of London), Making Sense of Sound and Music (time: 57:11)
Sylvain Argentieri, maître de conférences à l'ISIR, Towards active binaural robot audition (timing: 28: 13 mn)
Guillaume Gravier, Chargé de recherche dans l'équipe TeXmeX , Linking media contents for navigation : the TEXMIX story (timing: 22: 47 mn)
Colloquium SMART GRID (4 juillet 2013)
Lors de cette quatrième édition du colloquium, quatre exposés scientifiques:
Catherine Rosenberg, Professor at the Electrical and Computer Engineering, University of Waterloo, A Computer Engineering Approach to the Smart Grid (1h 20 mn)
Hervé Guéguen, professeur à Supélec, Université de Rennes1, Commande prédictive pour la gestion de l’énergie électrique dans le bâtiment (durée: 30 mn)
Patrick Maillé, enseignant-chercheur à TELECOM Bretagne & Bruno Tuffin, chargé de recherche Inria (projet Dionysos), An analysis of ISP Inter-Relations: Traffic Exchange, Revenue Sharing, and Disconnection Threat (33:19 mn)
Colloquium à l'occasion du First CominLabs week (3 juin 2013)
Muriel Médard, Professor in the Department of Electrical Engineering and Research Laboratory of Electronics (MIT)
Coding for heterogeneous networks (1h 09 mn)
Abstract : The use of multiple interfaces in wireless systems promises improved resilience to impairments on any single wireless system and the ability to use effectively spare capacity in a real-time fashion (read the rest).
& Alan Smeaton, Professor in CLARITY: Centre for Sensor Web Technologies- Dublin City University
Wearable Sensors in Sport (1h 08 mn)
Abstract : In this talk I will present an overview of the work done in the CLARITY centre on using sensors in various sports applications. The presentation will include our use of off-the-shelf sensors which are freely available and used to measure aspects of the individual sportsperson – aspects like heart rate, respiration, galvanic skin response. (read the rest)
Lors de cette première édition du colloquium, trois exposés scientifiques ont été présentés.
Mathias Fink, professeur à l'ESPCI Paris tech
Retournement temporel, imagerie passive, échographie et imagerie multi-ondes
Résumé : Après un rappel des principes du retournement temporel des ondes en milieu complexe, nous discuterons dans un premier temps de l'origine de la limite de diffraction en physique. C'est par le biais d'une approche « retournement temporel » de cette limite que nous introduirons les principes de l'imagerie sismique passive qui connait actuellement un grand succès dans le monde de la géophysique. (lire la suite)
Rémi Gribonval, directeur de recherche Inria (équipe Panama)
Sparse Audio Models for Inverse Audio Problems
Abstract: Inverse problems are ubiquitous in audio processing, from the restoration of saturated single channel audio to the localization of audio sources using arrays of two or more microphones. (lire la suite)
et Ghaïs El Zein, enseignant chercheur à l'IETR
Retournement temporel dans les communications sans fil à haut débit
Résumé: Les nouveaux systèmes de communications doivent répondre à des exigences fortes en termes de débit, de performances et de coût. Dans ce contexte, nous montrerons que la technique du retournement temporel TR (Time Reversal), appliquée aux communications UWB (Ultra-wideband), est très prometteuse car elle permet d’atteindre une focalisation considérable de la puissance reçue dans les domaines spatial et temporel, simplifiant ainsi le traitement du signal en réception.(lire la suite)
Ces séminaires sont accueillis par le centre Inria Rennes - Bretagne Atlantique, à l'initiative d'organismes et de laboratoires extérieurs à Inria.
Future Cloud Symposium 2015 - 19-20 October 2015
An international Symposium on the future of Cloud Computing with a focus on big data and data analytics
On this page you will find three talks and four presentations startups.
EIT ICT Labs - 23rd & 24th June 2014
A two day international symposium on the future of Cloud Computing hosted by EIT ICT Labs, June 23 & 24, 2014 in Rennes, at Inria Conference Center.
The Symposium has been an opportunity for entrepreneurs, industry representatives, decision-makers, venture capitalists, academics, researchers and Cloud professionals to take a closer look at the future of Cloud Computing.
Conférence Modélisation des systèmes réactifs (MSR'13) - 13-15 novembre 2013
MSR'13 est un colloque en langue française qui se situe dans le cadre général de la modélisation, l'analyse et la commande des systèmes réactifs et temps réel. Plus particulièrement, il concerne les chercheurs et industriels intéressés par la conception d'applications qui sont basées sur des systèmes de type soit continu, soit discret, soit hybride. MSR est un lieu de rencontre pour les automaticiens et les informaticiens, afin de confronter les techniques et les problèmes abordés par les deux communautés. Ainsi, le colloque MSR a pour rôle d'affirmer l'apport des chercheurs francophones dans ces domaines, et de favoriser les échanges entre universitaires et industriels. MSR'13 s'est tenu à Rennes et fait suite à la série des colloques MSR'96 à Brest, MSR'99 à Cachan, MSR'01 à Toulouse, MSR'03 à Metz, MSR'05 à Autrans, MSR'07 à Lyon MSR'09 à Nantes et MSR'11 à Lille.
Les exposés de trois conférenciers invités sont présentés ici. Celui d'Olivier H. Roux (IRCCyN - Université de Nantes) ; Manuel Silva (GISED - Université de Saragosse) ; Benoit Caillaud (INRIA)
Conference Runtime Verification - 24-27 September 2013
Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Three invited talks were presented: Viktor Kuncak (EPFL Lausanne) ; Klaus Ostermann (University of Marburg) ; Martin Leucker (University of Lübeck)
Conference Interactive Theorem proving - 22-26 juillet 2013
Dans le cadre de cette conférence internationale, les exposés de trois conférenciers invités, Dominique Bolignano, Rustan Leino, Carsten Schürmann, et deux tutoriaux, respectivement, de Pete Manolios, d'Assia Mahboubi et d'Enrico Tassi ont été enregistrés.
InteractiveTheoremProving 2013 is the fourth conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.
Le séminaire Let's imagine the future - 8 & 9 novembre 2012
Les exposés scientifiques ; les interventions de collègues
Ce séminaire, en l'honneur du départ en retraite de Jean-Pierre Banâtre, s'est déroulé au centre Inria Rennes Bretagne Atlantique, à l'initiative de Thierry Priol, et de plusieurs autres personnalités. Durant ces deux journées, il a réuni de nombreux chercheurs, dans des domaines de recherche variés, venus rendre un hommage appuyé à Jean-Pierre Banâtre, au scientifique, évidemment, mais également à l'homme, au collègue, à l'ami. (lire la suite)
Les journées GDR-GPL-CIEL 2012 (Génie logiciel) - 19-22 juin 2012
Au cours de ces journées, les conférenciers ont présentés leurs récents travaux dans le domaine du génie de la programmation et du logiciel.
Le séminaire DD21 (21st international conference on domain decomposition methods)
Organisé à l'initiative de l'équipe-projet Inria Sage et le LMNO de l'Université de Caen, ce séminaire s'est tenu du 25 au 29 juin 2012 au centre Inria Rennes - Bretagne Atlantique. Son objectif était d'apporter une vision d'ensemble aux mathématiciens, scientifiques et ingénieurs travaillant ensemble sur les différents aspects des méthodes de décomposition de domaine.
The conference has been co-organized by the team SAGE of Inria and the LMNO at the University of Caen.
It tooks place at Inria Rennes - Bretagne Atlantique. The purpose of the meeting was to bring together mathematicians, scientists, and engineers working on various aspects of domain decomposition methods.
Cette page contient un ensemble de soutenances de thèse, présentées depuis l'année 2013, au centre Inria de Rennes.
Elle a pour but de permettre aux doctorants eux-mêmes, et aussi, à l'ensemble de la communauté scientifique, d'accéder facilement aux travaux menés au sein de nos équipes de recherche.
Rappelons qu'à dater de 2014, la grande majorité des soutenances de thèse enregistrées, peut être consulté sur cette page.
Cette rubrique contient les manifestations enregistrées dans le cadre des actions menées au sein du centre Inria dans le domaine de la prévention des risques et de la sécurité des personnels.
Point d'information SST: comment appliquer les mesures de sécurité dans les situations d'urgence? - 28 mars 2013
Au cours de cette rencontre avec les SST (Sauveteurs Secouristes du Travail), les intervenants se sont employés à définir les missions du sauveteur secouriste, les procédures d'alerte interne et le risque incendie au sein des établissements Inria et Irisa.
A l'initiative de la DPE (Direction des Partenariats Européens) d'Inria, des présentations de programmes de recherche européens ont lieu régulièrement. Certaines présentations sont accessibles ici.
Conférence de lancement du programme européen Horizon 2020 en Bretagne - 3 décembre 2013
Cette conférence comprend deux parties:
Les interventions de personnalités politiques et d'élus régionaux ; des ateliers sur les aides européennes à la recherche dans le cadre des actions Marie Sklodowska Curie.
Atelier thématique: quelles opportunités de financement pour les TIC dans Horizon 2020? - La place des TIC dans Horizon 2020 - 22 novembre 2013
Cet atelier comprend les interventions de Frédéric Laurent, représentant français aux comités de programme ‘LEIT TIC’ & ‘Sécurité’ d’Horizon 2020, et de Michel Loyer, membre du Point de Contact National ‘TIC’, Inria.
Présentation du nouveau programme-cadre européen HORIZON 2020 - 11 avril 2013
Cette présentation des grandes thématiques d'HORIZON 2020 comprend des interventions de Thierry Priol, Marie-Hélène Pautrat, Michel Loyer et Edith Corre, de la DPE.
Ce qu'est CominLabs.
CominLabs Days 2015 - march 23rd-24th 2015
The scientific talks of Niilo Saranummi ; Jean-Pierre Hamaide et Hervé Jégou
Organisées par CominLabs et l'UEB (Université Européenne de Bretagne), ces deux journées se sont déroulées les 16 & 17 décembre 2013, au centre Inria de Rennes, sous la direction d'Albert Benveniste .
Les deux IRT b<>com et Jules Verne, et les quatre Labex CAMI, CominLabs, Lebesgue, et MER, acteurs principaux du PIA dans l'ouest, se sont réunis pour entamer la construction d'une communauté scientifique.
Le 8 juin 2011, au centre Inria de Rennes, le Labex CominLabs 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 de 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.
Corentin Le Bris (EESAB-Rennes)
Le FabLab, un espace ouvert de création, de découverte et d’échanges - 11 décembre 2015
Corentin le Bris, étudiant à l'EESAB-Rennes a présenté les principes du FabLab, détaillé ses outils et ses modes de fonctionnement, qui s'appuient sur les dernières recherches de la science numérique et inventent de nouvelles formes de création dans les domaines du design, de la domotique, notamment.
Luc Bougé (ENS-Rennes ; Inria) & Alexandru Costan (INSA Rennes ; Irisa)
Le Cloud et la programmation Map-Reduce: Comment survivre au déluge du Big Data ? - 16 octobre 2015
A l'occasion de ce confLunch, consacré à la question du Big Data et à la programmation Map-Reduce, deux exposés:
1/ Surviving the data deluge, par Luc Bougé, professeur à l'ENS Rennes et membre de l'équipe Kerdata
2/Some (Simple) Examples: Word Count & Word Length, par Alexandru Costan, Maître de conférences à l'INSA Rennes et membre de l'équipe KerData
François Bodin (Université Rennes 1- ISTIC)
Drones: tour d’horizon, applications et contraintes de ces nouveaux outils - 26 juin 2015
Le confLunch, dédié aux principes de fonctionnement et d'utilisation des drones, s'est déroulé en deux parties:
1/ Survol des activités relatives aux drones au Centre Inria-Bretagne Atlantique et à l’Irisa, par François Bodin (Université de Rennes 1)
2/ Présentation de Tellus Environment :
Le Drone au service de la cartographie et non l'inverse, par Geoffroy Etaix, Pdg de Tellus Environment
&
Applications et contraintes techniques des Drones par Tellus Environment, par Laura Munoz, Ingénieure R&D chez Tellus Environment.
Vincent Le Cam (Iffstar)
Comment mieux surveiller les structures du Génie Civil ?
Apport des nouvelles technologies - 24 avril 2015
Dans cette conférence, Vincent Le Cam, co-directeur du laboratoire SII de l'Iffstar nous explique comment ce qu'on appelle les structures du Génie Civil (ponts, routes, barrages, tunnels, ...) constituent des "objets" stratégiques pour le transport et la sécurité des hommes et des biens. Or, par un usage accru, par leur vieillissement, par le changement climatique, etc..., il s'avère que leur surveillance régulière ou permanente devient également stratégique. Ce "monitoring" pose de nombreux enjeux dans une société qui ne tolère pas plus l'arrêt de service... que les catastrophes qu'on ne saurait anticiper.
Rémi Cozot (FRVSense)
Qualités et sentiments esthétiques: la beauté est elle nécessairement subjective ? - 13 février 2015
Cette conférence sur l'image numérique, à l'initiative de Kadi Bouatouch et de Rémi Cozot, a réuni les points de vue d'un informaticien (Rémi Cozot), d'un psychiatre (Philippe Le Ferrand) et d'un philosophe de l'Art (Pierre-Henry Frangne).
Le premier nous a montré comment les critères de beauté évoluent dans le temps et dans l’espace ; le deuxième nous a dit que le sentiment de beauté touchait à l’affectif, qu’il est propre à chacun de nous et qu’il nous est nécessaire. Le philosophe, enfin, a interrogé le caractère esthétique et historique de l'image.
Consulter l'ensemble des Conf'Lunch
Ces conférences sont faites à l'initiative de l'Irisa, mais elles impliquent pleinement des chercheurs Inria dans leur déroulement.
Conference MODELS 2016 - October 2-7, 2016
MODELS is the premier conference series for model-based software and systems engineering which since 1998 has been covering all aspects of modeling, from languages and methods to tools and applications. In 2016, MODELS will take place in Saint Malo, in Brittany.
In that page, you can access to the keynotes of Edward A. Lee, Gordon Blair and James O. Coplien. You can access too to the Awards talks of Dimitris Kolovos and Bran Selic.
La maîtrise de données de masse constitue aujourd’hui un enjeu scientifique et sociétal majeur. Organisé par l’IRISA, le symposium sur la science des données a rassemblé chercheurs de diverses disciplines scientifiques et industriels confrontés à la gestion de grands volumes de données afin de leur présenter les dernières innovations numériques en réponse à leurs problématiques.
Quatre de ces conférences sont en ligne. Succerssivement, celles de Amr El Abbadi, Deb Agarwall, Serge Abiteboul et de Jean-François Cardoso. Elles permettent de comprendre plus en détail l’utilisation des données (acquisition/traitement/protection/partage/analyse et restitution), dans des disciplines fortement impactées par la problématique de la gestion de données de masse telles que les sciences de la vie et de la terre, la bio-informatique, le cloud ou encore les sciences sociales et économiques.
Journée Science & Musique 2015 - 26/09 2015
Le thème de cette édition 2015, la 5ème des Journées Science & Musique, était, Son des villes, son des chants ! Vous trouverez dans cette page, l'ensemble des trois conférences de Jean-Julien Aucouturier (IRCAM), Pierre-Olivier Mattéi (Laboratoire d’Acoustique et Mécanique, Marseille), et Pierre Mariétan (Compositeur, fondateur du Laboratoire d’Acoustique et Musique Urbaine de l’Ecole d’Architecture de Paris, invité d'honneur pour cette édition de la JSM) et les trois présentations d'atelier thématique.
4th International Conference on Tools for Teaching Logic - 9/12 June 2015
The Fourth International Congress on Tools for Teaching Logic, was held in Rennes on June 9-12, 2015. There was lectures, discussion sessions, round tables and software demonstrations.
7ème Rencontre Arithmétique de l'Informatique Mathématique - RAIM 2015 - 7/9 avril 2015
RAIM 2015 est la 7ème édition des Rencontres Arithmétiques de l’Informatique Mathématique, manifestation scientifique francophone du Groupe de Travail Arithmétique (GT Arith) du GDR Informatique Mathématique (GDR IM) du CNRS.
Deux exposés sont présentés, celui de Christophe Nègre, Maître de conférence à l'Université de Perpignan, Recent Advances in Parallel Implementations of Scalar Multiplication over Binary Elliptic Curves
et celui de Léo Ducas, Post-doctorant au Centrum voor Wiskunde en Informatica (CWI) d'Amsterdam, Algorithmes d’échantillonnages haute précision sur les réseaux euclidiens et leur rôle en cryptographie.
Rencontre de la Recherche Fondation Rennes 1 / IRISA - 19 septembre 2014
Dans le cadre de cette rencontre, nous diffusons quatre exposés scientifiques présentés par des chercheurs de l'IRISA dont celui de Michele Dominici, titulaire, cette année, de la chaire Habitat Intelligent et Innovation de la Fondation Rennes 1.
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.