Au sommaire
Focus
© Collège de France / Photo Patrick Imbert
Prix Inria 2012
Le rayonnement scientifique de Pierre-Louis Lions, mathématicien surdoué hyperactif, s’étend du monde académique à l’industrie et aux entreprises. Depuis une trentaine d’années, il insuffle ses idées toujours très originales dans toutes les thématiques qu’il aborde, des mathématiques à la physique, en passant par l’économie ou la simulation numérique dans l’industrie. Ses théories sont reprises par de nombreux scientifiques tant de la communauté des mathématiques théoriques qu’appliquées.
© Inria / Photo J.M. Ramès
Prix Inria 2012
De formation mathématique, Francis Bach est devenu un spécialiste mondialement connu de l’apprentissage statistique (machine learning en anglais), qu’il défriche sans vergogne depuis une dizaine d’années. Ses recherches à l’interface des mathématiques appliquées, des statistiques et de l’informatique trouvent des applications dans une variété impressionnante de domaines, de la vision artificielle au traitement du signal audio en passant par la bioinformatique ou l’imagerie cérébrale.
© Inria / Photo J. Wallace
Stratégie
La Commission de réflexion sur l'Ethique de la Recherche en sciences et technologies du Numérique (CERNA) sera portée sur les fonts baptismaux le 29 octobre prochain par l' Alliance des sciences et technologies du numérique (Allistene). Aboutissement d’une réflexion lancée depuis 2011, le comité aura un rôle consultatif sur les questions éthiques touchant au monde numérique.
Actualités
Et aussi
Météo du coeur - Inriality
Culture numérique
Inria vient de lancer Inriality, espace ouvert et participatif d'échanges et de réflexion sur la civilisation numérique. Cette plateforme, qui naît à côté du site institutionnel Inria.fr, sera un lieu de dialogue où chacun sera libre d'apporter sa contribution.
Zoom sur
Gérard Berry
-
© INRIA Photo J.M.Ramès
Sciences informatiques
Récemment nommé professeur au Collège de France, Gérard Berry assure désormais le plein exercice de la toute nouvelle Chaire « Algorithmes, machines et langages ». Ses responsabilités l'ont amené à cesser ses activités à la Commission d'évaluation d'Inria. Bernard Chazelle, titulaire pour l'année 2012-2013 de la chaire "Informatique et sciences numérique", mettra également l'algorithmique à l'honneur. Jamais les sciences numériques n'ont été si présentes dans les programmes du Collège de France !
Au sommaire
Focus
Mobilité internationale
Inria lance la campagne de recrutement de stagiaires dans le cadre du Programme Internships 2013. Ce programme est ouvert aux étudiants issus d'institutions étrangères partenaires d'Inria.
Ivan Laptev
-
© Inria
European Research Council 2012
Ivan Laptev est l’un des quatre candidats Inria retenus pour une subvention du Conseil européen de la recherche (CER) dans la catégorie des jeunes chercheurs. Son sujet, la « vision par ordinateur », consiste à simuler le système visuel humain au moyen d’algorithmes analysant le mouvement, détectant des événements et reconnaissant des objets dans des séquences vidéo. Il nous explique son travail plus en détail et présente quelques-unes des applications potentielles.
Au sommaire
Focus
Inria & PME - Publication
Découvrez CONNECT, le magazine à destination des PME qui souhaitent innover avec les sciences du numérique : actualité des STIC, état d'avancée de la Recherche, technologies transférées ou transférables vers le monde industriel, portrait de partenaires issus des équipes de recherche d'Inria avec des PME innovantes, dossiers thématiques, ... N'hésitez pas, CONNECTez-vous !
© Tonis Pan - Fotolia.com
Rencontre Inria - Industrie
Le 21 novembre prochain aura lieu une nouvelle édition des Rencontres Inria - Industrie dont le sujet sera la "Simulation numérique en santé, de la cellule à l'humain virtuel". Cette journée qui se déroulera au Palais des Congrès de Strasbourg est organisée en partenariat avec le cluster français Alsace Biovalley et l'Institut hospitalo-universitaire de Strasbourg.
Accès direct
A noter
© Collège de France / Photo Patrick Imbert
Prix Inria 2012
Le rayonnement scientifique de Pierre-Louis Lions, mathématicien surdoué hyperactif, s’étend du monde académique à l’industrie et aux entreprises. Depuis une trentaine d’années, il insuffle ses idées toujours très originales dans toutes les thématiques qu’il aborde, des mathématiques à la physique, en passant par l’économie ou la simulation numérique dans l’industrie. Ses théories sont reprises par de nombreux scientifiques tant de la communauté des mathématiques théoriques qu’appliquées.
© Inria / Photo J.M. Ramès
Prix Inria 2012
De formation mathématique, Francis Bach est devenu un spécialiste mondialement connu de l’apprentissage statistique (machine learning en anglais), qu’il défriche sans vergogne depuis une dizaine d’années. Ses recherches à l’interface des mathématiques appliquées, des statistiques et de l’informatique trouvent des applications dans une variété impressionnante de domaines, de la vision artificielle au traitement du signal audio en passant par la bioinformatique ou l’imagerie cérébrale.
Et aussi
© Inria / Photo Christian Tourniaire
Prix Inria 2012
Responsable scientifique de l’équipe-projet Gamma3 (Inria, Université de technologies de Troyes), Paul-Louis George est l’un des auteurs du mailleur volumique GHS3D, un logiciel utilisé dans le monde entier, que ce soit par les industriels ou par les chercheurs et universitaires. Intégré dans de nombreux logiciels de calculs 3D par éléments finis, GHS3D aide à obtenir des simulations particulièrement fiables et performantes. Un succès qui repose sur un travail d’équipe entrepris sur le long terme et que le prix de l’innovation récompense aujourd’hui.
Programme "Internships"
Chaque année, à travers son programme "Internships", Inria reçoit plus d’une centaine d’étudiants du monde entier pour les former par la recherche. L'objectif de ce programme est de renforcer les collaborations scientifiques d'Inria au travers de l'accueil et de la formation par la recherche d'excellents étudiants issus d'Institutions partenaires à l'étranger. Des étudiants de niveau undergraduate, master ou thèse viennent alors passer entre deux et neuf mois, selon leur niveau, auprès d’une équipe de recherche d’Inria. Rencontres avec Michail Zervos et Nadia Khalfa, deux étudiants passionnés qui nous font partager leur expérience réussie et livrent quelques conseils à tous ceux qui pourraient être intéressés par le programme Internships.
Accès direct
Zoom sur
Rencontres Inria - Industrie
Le 8 mars 2012 aura lieu, au centre Inria Grenoble Rhône-Alpes, une nouvelle édition des Rencontres Inria - Industrie sur le thème «Sciences Numériques et efficacité énergétique ». Cette journée est organisée en partenariat avec Oséo et les pôles de compétitivité Minalogic et Tenerrdis.
Caisse des dépôts
Partenariat
Un partenariat France Brevets - Inria pour accroître la valorisation des brevets d’Inria dans le cadre du programme d’investissements d’avenir.
France Brevets et Inria ont décidé de collaborer pour renforcer la valorisation des brevets existants et futurs d’Inria et leur assurer une visibilité internationale. Ce partenariat permettra de compléter le spectre des actions de transfert de technologies d’Inria, pour un plus grand impact économique de ses travaux de recherche.
Retour sur
iMatch
Le centre Inria Saclay - Île-de-France, en partenariat avec Médicen, Cap Digital, Systematic, Oséo, le Centre Francilien de l'Innovation, la chambre de commerce et d'industrie de l'Essonne et Digiteo organise le mardi 22 mars 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème des modèles statistiques.
iMatch
Le centre Inria Saclay - Île-de-France, en partenariat avec Systématic, Oséo, le Centre Francilien de l'Innovation, Digiteo et FITT Innovation organise le mardi 24 mai à 14h - salle de la CAPS (Parc Orsay Université) des rencontres entre industriels et chercheurs sur le thème des modèles statistiques.
Accueil > Recherches > Equipes de recherche > Algorithmique, programmation, logiciels et architectures > Programmation, vérification et preuves > MARELLE
Equipe de recherche MARELLE
Our work on formal proofs for cryptography now receives attention in best conferences of specialists of that domain.
En savoir plusRetrouvez sur le site web RAweb
Voir aussi
Inria
Inria.fr
Inria Channel
