Sites Inria

English version

A la une

Evénement

Ecole CEA-EDF-Inria : Modélisation et vérification d'algorithmes en coq

14/09/2011

Du 14 au 18 novembre 2011, cette école CEA-EDF-Inria abordera les techniques de base en modélisation et vérification d'algorithmes en Coq. Elle s'adresse aux étudiants, chercheurs ou ingénieurs qui ont une bonne connaissance de la programmation dans un langage conventionnel (C, Java).

Mots-clés :

Lire la suite

Robot Wifibot Corebots Robot Wifibot Corebots

Robotique

Le consortium CoreBots remporte pour la seconde fois le défi CAROTTE

22/07/2011

Après avoir remporté en 2010 la première phase du défi robotique CAROTTE (CArtographie par ROboT d’un TErritoire) organisé par l’ANR (Agence Nationale pour la Recherche) et la DGA (Direction Générale de l’Armement), le consortium CoreBots constitué de Mines ParisTech (École des Mines de Paris) / Epitech / INRIA et Intempora S.A. s’est une nouvelle fois illustré aux épreuves de Bourges, du 27 juin au 1er juillet 2011, et gagne la seconde phase du challenge.

Mots-clés :

Lire la suite

© INRIA / Photo J.-C. Moschetti - REA / Kaksonen

Evénement

Première journée parité en mathématiques

9/06/2011

Les femmes sont toujours sous-représentées dans les disciplines scientifiques et en mathématiques. Un constat que nous rappelle Céline Grandmont, chercheuse au sein de l’équipe-projet REO, et co-organisatrice de la journée Maths-parité qui a eu lieu le 6 juin 2011 dernier à l'Institut Henri Poincaré à Paris. Elle propose quelques analyses de la situation et quelques pistes de travail. 

Mots-clés :

Lire la suite

Transports

Un service de minibus automatisés en test à La Rochelle

9/05/2011

Depuis le 12 mai, l’équipe-projet IMARA teste ses véhicules électriques et automatiques à La Rochelle, dans un environnement urbain où circulent piétons et voitures. Elle propose aux riverains et aux touristes un transport gratuit sur un trajet de 1600m (aller-retour), sur une route mixte, sans aménagement particulier.

Mots-clés :

Lire la suite

Mario Tokoro

Interview

Mario Tokoro : « Je serais ravi d’accueillir des chercheurs Inria à Tokyo »

Amélie Castan - 29/04/2011

Le 31 mars, le fondateur et président directeur général de Sony Computer Science Laboratory Inc. a passé une journée au centre de recherche Inria de Rocquencourt. Il nous explique les raisons de sa venue et son intérêt pour la recherche faite au sein de l'institut.

Mots-clés :

Lire la suite

Philippe Flajolet © INRIA - Photo A.Eidelman

Hommage

Disparition brutale d'une figure scientifique

Céline Acharian - 23/03/2011

Inria rend un vibrant hommage à Philippe Flajolet, figure éminente des sciences informatiques, brutalement décédé hier. Philippe Flajolet a révolutionné l'analyse d'algorithmes, et a contribué à faire la renommée internationale de notre institut, au sein duquel il a passé presque 40 ans.

Mots-clés :

Lire la suite

Jean Ponce Chapo

European Research Council 2010

Jean Ponce : de la photo à la vidéo

Cécile Michaut - 30/11/2010

Éminent spécialiste de la reconnaissance de formes dans des photos, Jean Ponce, professeur à l'ENS, s’est lancé depuis quelques années dans la vidéo. Il vient de recevoir pour cela une bourse européenne ERC destinée à un chercheur confirmé. Son but : analyser et traiter automatiquement les films quels que soient les scènes et les mouvements de caméras, afin de pouvoir les archiver, les modifier ou les restaurer. Un travail qui intéresse particulièrement les concepteurs d’effets vidéo.

Mots-clés :

Lire la suite

Karthik Bhargavan

European Research Council 2010

Karthik Bhargavan : prouver la sûreté des applications web

Cécile Michaut - 23/11/2010

Prévenir plutôt que guérir : cet adage médical s’applique aussi à l’informatique. Le jeune chercheur de l’équipe Moscova, Karthik Bhargavan, vient de recevoir une bourse ERC pour poursuivre ses travaux visant à assurer la sûreté de services tels que la gestion de données personnelles et sensibles. Des recherches à la fois théoriques et très appliquées, au sein du laboratoire commun entre Inria et Microsoft Research. Rencontre avec le chercheur.

Mots-clés :

Lire la suite

Haut de page

Suivez Inria