• Aller au menu
  • Aller au contenu
  • Intranet
  • Annuaire
  • Suivre
  • Espace Presse
  • Inria
  • Inria.fr
  • Inria Channel
  • Nous contacter

Inria

  • Scientifiques
  • Entreprises

Découvrir Inria, son Actualité, ses activités de Recherche & d'Innovation

Au sommaire

  • Inria en bref
    • Le mot de Michel Cosnard
    • Inria en quelques mots
    • Histoire d'Inria
    • Ceux qui ont fait Inria
    • Rapport annuel
    • Bilan social
    • Chiffres clés
    • Prix Inria
    • Charte logo Inria
  • Organisation
    • Équipe de direction
    • Directeurs scientifiques adjoints
    • Organigramme général
    • Instances
  • Stratégie
    • Défis numériques
    • Plan stratégique
    • Inria et les Alliances
    • EIT ICT Labs
    • Logiciel libre
  • Relations internationales
    • Le mot d'Hélène Kirchner
    • Partenariats stratégiques
    • Actions dans le monde
    • Appels à projets
    • Contacts
  • Europe
    • Mot de Thierry Priol
    • Programmes européens
    • European Research Council
    • EIT ICT Labs
    • Contacts
  • Partenariats
    • Partenariats académiques
    • Partenariats industriels
  • Recrutement & métiers
    • Mot de Bruno Wierzbicki
    • Diversité de nos métiers
    • Nous rejoindre
    • Offres
    • Boost your code

Focus

© Collège de France / Photo Patrick Imbert

Prix Inria 2012

Pierre-Louis Lions : Grand Prix Inria

Isabelle Bellin -

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.

Lire la suite

© Inria / Photo J.M. Ramès

Prix Inria 2012

Francis Bach : Prix Inria du jeune chercheur

Isabelle Bellin -

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.

Lire la suite

Portrait Max Dauchet © Inria / Photo J. Wallace  © Inria / Photo J. Wallace

Stratégie

Ethique & technologies numériques

Nathaly Mermet - 30/10/2012

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.

Lire la suite

Actualités

  • Actualités
  • Agenda
  • Mediacenter

Et aussi

Météo du coeur - Inriality Météo du coeur - Inriality

Culture numérique

Lancement d'Inriality

Céline Acharian - 15/11/2012

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.

Lire la suite

Zoom sur

Gérard Berry © INRIA Photo J.M.Ramès Gérard Berry - © INRIA Photo J.M.Ramès

Sciences informatiques

Informatique au Collège de France

Damien Dechambre - 15/09/2012

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 !

Lire la suite

Au sommaire

  • Actualités
  • Agenda
  • Equipes de recherche
    • Rechercher une équipe
    • Modèle « Équipe-projet »
    • Chaires d'enseignement et de recherche
    • Laboratoires communs
    • Développement technologique à l'institut
    • Information Scientifique et Technique
    • Archives - Conférences scientifiques
  • Domaines de recherche
    • Cinq domaines de recherche
    • Actions d’envergure
    • Actions exploratoires
    • Actions de recherche collaboratives
  • Mobilité internationale
    • Programme "Internships"
    • Equipes associées
  • Culture numérique
    • Découvrez les sciences du numérique
    • L'informatique de A à Z

Focus

Mobilité internationale

Campagne Internships 2013

Marie-Jeanne Gaffard - 17/10/2012

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. 

Lire la suite

Ivan Laptev - © Inria

European Research Council 2012

Ivan Laptev : Faire progresser la vision par ordinateur

Technoscope - 12/09/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.

Lire la suite

Au sommaire

  • Actualités
  • Agenda
  • Partenariats & transfert technologique
    • Le mot de David Monteau
    • Partenariats stratégiques
    • Pôles de compétitivité
    • Rencontres Inria Industrie
    • Start-ups
    • Consortiums
    • Initiative Services Mobiles
    • Patrimoine logiciel
    • Logiciel libre
    • Bureau France W3C
    • Contacts
  • Inria & PME
    • Stratégie
    • Partenariat OSEO
    • Magazine Connect
    • I-Labs
    • Calcul haute performance
  • Secteurs industriels
    • Aéronautique, défense, spatial, sécurité
    • Edition de logiciels, systèmes embarqués
    • Energie, transport, développement durable
    • Santé, sciences de la vie, biotechnologie
    • Télécoms, réseaux, multimedia

Focus

Inria & PME - Publication

Innover avec les sciences du numérique - Connect n° 3

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 !

Lire la suite

© Tonis Pan - Fotolia.com

Rencontre Inria - Industrie

Rencontre Inria-Industrie - Santé

21/11/2012

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.

Consulter le dossier

Accès direct

  • Actualités scientifiques
  • Agenda scientifique
  • Domaines de recherche
  • Rechercher une équipe
  • Mobilité internationale
  • Stratégie
  • Transfert & Innovation
  • Recrutement & métiers

A noter

© Collège de France / Photo Patrick Imbert

Prix Inria 2012

Pierre-Louis Lions : Grand Prix Inria

Isabelle Bellin -

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.

Lire la suite

© Inria / Photo J.M. Ramès

Prix Inria 2012

Francis Bach : Prix Inria du jeune chercheur

Isabelle Bellin -

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.

Lire la suite

Et aussi

© Inria / Photo Christian Tourniaire

Prix Inria 2012

Paul-Louis George : lauréat du Prix de l’innovation Inria - Dassault Systèmes 2012

Françoise Breton -

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.

Lire la suite

Programme "Internships"

Favoriser l’accueil des étudiants étrangers

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.

Lire la suite

Accès direct

  • Actualités Innovation
  • Agenda Innovation
  • Partenariats industriels
  • Télécoms
  • Aéronautique
  • Environnement
  • Systèmes embarqués
  • Santé

Zoom sur

Rencontres Inria Industrie "Sciences numériques et efficacité énergétique"

Rencontres Inria - Industrie

Rencontres Inria - Industrie : Efficacité énergétique

8/03/2012

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.

lire la suite

Caisse des dépôts

Partenariat

Inria et France-Brevets signent un partenariat

Marie Gallas-Amblard - 14/12/2011

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.

Lire la suite

Retour sur

iMatch

iMatch

iMatch Bio-Med Tech

22/03/2012

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.

lire la suite

iMatch

iMatch

iMatch Modèles Statistiques

24/05/2011

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.

lire la suite

Résultats de recherche pour : "langage fonctionnel"

Accueil > Résultats de recherche

Il y a 8 Résultats pour : "langage fonctionnel"

  • COQ - Spécifications et preuves de programmes
  • LANDE - Conception et validation de logiciels
  • MEIJE - Parallélisme, Synchronisation et Temps-Réel
  • MIMOSA - Migration et mobilité : sémantique et applications
  • MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
  • SAFIR - Systèmes algébriques formels pourl'industrie et la recherche
  • SOLIDOR - Construction de systèmes et d'applications distribués
  • TICK - Etude et implémentation des systèmes réactifs synchrones

Rechercher une équipe

Siège et centres de recherche Inria

  • SIEGE
  • Bordeaux - Sud-Ouest
  • Grenoble - Rhône-Alpes
  • Lille - Nord Europe
  • Nancy - Grand-Est
  • Paris - Rocquencourt
  • Rennes - Bretagne Atlantique
  • Saclay - Île-de-France
  • Sophia Antipolis - Méditerranée

Accès direct

  • Equipes de recherche
  • Rapports d'activité - RAweb
  • Archive ouverte - HAL-Inria
  • Ressources documentaires
  • Inria Alumni
  • Inriality
  • Interstices
  • Fuscia, bureau d'accueil
  • Photothèque / Vidéothèque
  • Espace presse
  • Marchés publics
  • Charte LOGO Inria

Social

  • Picto facebook
  • Picto twitter
  • Picto youtube
  • Picto Pinterest 30
  • Slideshare

Inria

  • Plan du site
  • Nous contacter
  • Marchés publics
  • Crédits
  • Mentions légales