• Go to menu
  • Go to content
  • Intranet
  • Directory
  • Follow
  • Press area
  • Inria
  • Inria Channel
  • Contact us

Inria

  • Scientists
  • Businesses

Find out about Inria, its News and its Research & Innovation activities

Contents

  • Inria in brief
    • Interview with Michel Cosnard
    • Inria in a few words
    • History of Inria
    • The people who made Inria
    • Annual report
    • Key figures
    • Inria Awards
    • Charter Inria logo
  • Organisation
    • Management team
    • Deputy scientific directors
    • General organisation chart
    • Committees
  • Strategy
    • Digital challenges
    • Strategic plan
    • Inria and Alliances
    • EIT ICT Labs
    • Free software
  • International Relations
    • Interview with H. Kirchner
    • Strategic partnerships
    • Actions in the world
    • International calls for projects
    • Inria@SilliconValley
    • Contacts
  • Europe
    • Interview with Jean-Pierre Banâtre
    • European programmes
    • European Research Council
    • EIT ICT Labs
    • Contacts
  • Partnerships
    • Academic partnerships
    • Industrial partnerships
  • Recruitment
    • A word from Muriel Sinanidès
    • A diverse range of professions
    • Join us
    • Offers

Focus

Frank Cappello Frank Cappello - © Inria Photo Jim Wallace

Inria-Urbana champaign

Productive partnership for high performance computing

30/09/2011

As the fifth workshop of the Inria-Urbana-Champaign joint lab (Joint Laboratory on Petascale Computing-JLPC) came to an end in Grenoble, Franck Cappello, its co-director, took stock of the activities of this institution dedicated to high-performance computing. Two years after its creation, it was now time to review its most emblematic results and to present its current research on climate and the international G8 Exascale project, with which the joint laboratory is associated.

More

Matthieu Dorier © Matthieu Dorier

Inria-Urbana Champaign

Matthieu Dorier winner 2011 ACM-SRC

Françoise Monfort - 30/09/2011

Matthieu Dorier received the second prize at the ACM Student Research Competition, held in conjunction with the International Conference on Supercomputing, in Tucson (Arizona), from 1st to 3rd June, 2011. He was awarded this prize while doing a Masters internship at the Joint Laboratory for Petascale Computing-JLPC, a joint laboratory set up by Inria and the University of Illinois at Urbana-Champaign.

More

Thom Dunning

Inria-Urbana Champaign

Thom Dunning: a successful collaboration

Amélie Castan - 30/09/2011

On June the 27th, The Joint Laboratory for Petascale Computing (JLPC), formed by the University of Illinois and Inria, held its fifth workshop in Grenoble. Thom Dunning, director of the Institute for Advanced Computing Applications and Technologies and the National Center for Supercomputing Applications (NCSA) at the University of Illinois, explains why this collaboration is a success.

More

Contents

  • News
  • Calendar
  • Mediacentre

Focus

Prix Inria 2011

2012 Inria Awards

2012 Inria Awards

22/02/2012

On 14 June in Paris, the "Inria Awards" ceremony will take place for the second consecutive year. After Gérard Huet, Bruno Levy, Stéphane Donikian... who will be the 2012 prize winners? In your immediate surroundings, perhaps you know a researcher or a team of scientists whose research results, vision, action, and originality of approach contribute to advances in computer sciences and mathematics for the development of our society. Inria invites you to nominate your candidates.

More

Please note

© suphakit73 - Fotolia.com

Social media

Some trends and challenges for the 2.0 years

Françoise Breton - Yannick Le Thiec - 28/11/2011

According to the Inria/TNS Sofres survey conducted this year, nearly one French person in two declared they could not do without social networks. Such interest on its own proves what a success the social web is, although success is not without an increase in private data now present in cyberspace. A thorough grasp of interaction tools and controlling one’s web image are becoming major challenges for tomorrow’s web, both for individuals and companies… as well as a challenge for researchers developing social web management tools.

More

Contents

  • News
  • Calendar
  • Research teams
    • Find a team
    • “Project-team” model
    • Teaching and research chairs
    • Shared laboratories
    • Technological development at Inria
    • Scientific and Technical Information
  • Research fields
    • Five fields of research
    • Large-scale initiatives
    • Exploratory actions
    • Collaborative research actions
  • International mobility
    • "Internships" programme
    • Associate teams
  • Digital culture
    • Discover computational sciences
    • Computer science from A to Z

Focus

International programmes

The "Internships" programme

Each year, Inria welcomes students from all over the world for a research training experience through the Internships programme. Undergraduate, masters or PhD students come and spend a few months in an Inria research team. Two students, Michail Zervos and Nadia Khalfa, talk about their successful experience and offer advice to all those who may be interested in the Internships programme.

More

Philippe Flajolet

Conference

Conference in the memory of Philippe Flajolet

14/12/2011 to 16/12/2011

From 14 till 16 December 2011 Inria co-organizes a conference dedicated to the work and to the memory of Philippe Flajolet, died suddenly on March 22nd, 2011. In this conference, we wish to pay homage to the man as well as the multi-faceted mathematician and computer-scientist.This conference will also help more people understand his rich and varied work, through talks aimed at a large audience.

lire la suite

Feature

  • News
  • Calendar
  • Partnerships & Transfer of technology
    • A word from Bruno Sportisse
    • Strategic partnerships
    • Competitiveness clusters
    • Inria-Industry Meetings
    • Start-ups
    • Software publishing consortiums
    • Mobile Services Initiative
    • Software assets
    • Free software
    • W3C France office
    • Contacts
  • Inria & SMEs
    • Strategy
    • Partnership with OSEO
    • Magazine Connect
    • I-Labs
    • SME Club
    • High-performance computing
  • industrial sectors
    • Aeronautics, defence, space, security
    • Software publishing, embedded system
    • Energy, transport, sustainable development
    • Health, life sciences, biotechnology
    • Telecoms, networks, multimedia

Focus

Web

W3C chooses Inria to open its France office

The World Wide Web Consortium (W3C) is opening an office in France, to be hosted by Inria, in order to consolidate its relations with industry and with other participants in the French ecosystem. The new office is to develop and coordinate the community of French W3C members.

More

Inria & SME - Publication

Innovate through the digital sciences

Discover CONNECT, the magazine for SMEs seeking innovation through the digital sciences, and get access to ICST news, updates on the state of research and applied technology for industry, portraits of partners who have participated in Inria research teams working with innovative SMEs, special reports and other features. Come on, CONNECT!

More

Direct links

  • Science news
  • Science events calendar
  • Research fields
  • Find a team
  • International programmes
  • Strategy
  • Partnerships & Transfer of technology
  • Recruitment & jobs

Please note

Artist's Concept of Completed ALMA © ALMA / ESO / NRAO / NAOJ

Partnership

ALMA, the world’s largest radio telescope project

Céline Acharian - 22/12/2011

Inria and ALMA (Atacama Large Millimeter / submillimeter Array), alongside the CNAM (Conservatoire National des Arts et Métiers, the French National Academy for Arts and Crafts), are working together to design the man-machine interfaces that will control the revolutionary radio-telescope currently being built in the Atacama desert, to the north of Chile.

More

Frank Cappello Frank Cappello - © Inria Photo Jim Wallace

Inria-Urbana champaign

Productive partnership for high performance computing

30/09/2011

As the fifth workshop of the Inria-Urbana-Champaign joint lab (Joint Laboratory on Petascale Computing-JLPC) came to an end in Grenoble, Franck Cappello, its co-director, took stock of the activities of this institution dedicated to high-performance computing. Two years after its creation, it was now time to review its most emblematic results and to present its current research on climate and the international G8 Exascale project, with which the joint laboratory is associated.

More

Find out more

© Inria / Photo Kaksonen

European Research Council 2011

Dale Miller: “Making proof universal”

Sophy Caulier - 9/01/2012

As the beneficiary of an ERC Advanced Grant for experienced researchers, Dale Miller has embarked on the difficult path of establishing proof. His aim? In this field, which is highly abstract but which has a definite impact on the real world, he wishes to standardise proof systems and issue certificates for such systems in order to promote greater confidence in them.

More

International programmes

The "Internships" programme

Each year, Inria welcomes students from all over the world for a research training experience through the Internships programme. Undergraduate, masters or PhD students come and spend a few months in an Inria research team. Two students, Michail Zervos and Nadia Khalfa, talk about their successful experience and offer advice to all those who may be interested in the Internships programme.

More

Direct links

  • Innovation news
  • Innovation calendar
  • Partnerships & Transfer of technology
  • Inria & SMEs
  • Aeronautics, defence, space, security
  • Software publishing, embedded system
  • Energy, transport, sustainable development
  • Health, life sciences, biotechnology
  • Telecoms, networks, multimedia

Please note

Inria & SME - Publication

Innovate through the digital sciences

Discover CONNECT, the magazine for SMEs seeking innovation through the digital sciences, and get access to ICST news, updates on the state of research and applied technology for industry, portraits of partners who have participated in Inria research teams working with innovative SMEs, special reports and other features. Come on, CONNECT!

More

Find out more

© INRIA - Photo C. Tourniaire

Technology Transfer at Inria

Strategic partnerships with large industrial players

The strategic partnerships that Inria establishes are long-term bilateral partnerships with large industrial groups, formalized in a framework agreement. A research program is developed jointly by Inria and its partner based on the industrial player’s proposed priority topics. Research projects, fitting into this program, are then developed jointly by Inria’s teams and the partner. In addition, a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly.

More

Search results for : "Xavier Leroy"

Home > Search results

There are 2 Results for : "Xavier Leroy"

  • CRISTAL - Typed programming, modularity and compilation
  • GALLIUM - Programming languages, types, compilation and proofs

Search for a team

Inria Headquarters and research centres

  • HEAD OFFICE
  • 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

Direct links

  • Research teams
  • Activity reports - RAweb
  • Open archive – HAL-Inria
  • Documentary resources
  • Interstices
  • Fuscia, liaison office
  • Photo library / Video libraru
  • Press area
  • Public Procurement
  • Inria Alumni
  • Charter Inria LOGO

Social

  • Picto twitter
  • Picto youtube

Inria

  • Site map
  • Contact us
  • Legal notice