Contents

Focus

Inria Awards 2012

Pierre-Louis Lions : Grand Prize Inria

Isabelle Bellin -

The scientific influence of Pierre-Louis Lions, an exceptionally gifted and active mathematician, covers the worlds of academe, industry and commerce. For 30 years, he has generated highly original ideas in numerous domains such as mathematics, physics, economics, and industrial digital simulation. His theories have been adopted by many scientists, both theoretical and applied mathematicians.

Francis Bach - © Inria / Photo J.M. Ramès

Inria Awards 2012

Young researcher Inria award: Francis Bach

Isabelle Bellin -

A trained mathematician, Francis Bach has become an internationally acknowledged specialist in the field of statistical machine learning. A field he has been boldly exploring for some ten years now. His research at the interface between applied mathematics, statistics, and computer science finds applications in an impressive variety of domains, such as artificial vision, processing of audio signals, bioinformatics, and cerebral imaging.

Contents

Please note

Marie Doumic-Jauffret - © Inria

European Research Council 2012

Marie Doumic-Jauffret: modelling amyloidosis

Technoscope - 17/10/2012

Marie Doumic-Jauffret is one of 4 Inria candidates selected in the young researcher category for the ERC European call for projects 2012. Her project, called Skipper, aims to improve understanding of amyloidosis, a group of diseases that includes prions and Alzheimer’s, in order to help biologists identify therapeutic solutions.

Focus

European project

Metadata for a better understanding of the past

Laure Guion - 26/10/2012

2014 marks the centenary of the First World War. But how can such an event be commemorated when the relevant historical resources are scattered throughout the whole of Europe and historians have not yet been able to conduct an exhaustive study of all of them? Laurent Romary explains how, with the CENDARI project, computational sciences can provide a solution to this problem and come to the aid of all social sciences.

Contents

Focus

Award

Patrick Valduriez named ACM Fellow

Nathaly Mermet, Technoscope - 13/12/2012

The prestigious distinction from the Association for Computing Machinery (ACM) was recently awarded to a French national for the third time. This is a major honour for Patrick Valduriez, Senior Researcher at Inria and leader of the Zenith joint project-team with LIRMM* in Montpellier.

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.

Feature

Focus

Inria & SME - Publication

Innovate through the digital sciences - Connect n° 3

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!

Inria Industry Meeting

Numerical Simulation for Healthcare and Wellbeing, from Cell to Virtual Patient

6/07/2012

Nowadays, virtual reality becomes more and more engrained in our everyday lives, both personal and professional, in the form of games, motion pictures, simulators and more. Simulation is now often an important part of the training for people of different professions. Methods for representing artificial or augmented environments are being constantly improved. Researchers also keep developing even more precise models, now closely approaching the living world. This modeling work is carried out on a multi-scale level, taking into account a wide range of parameters. These resulting models can thus be adapted and applied to a specific environment, application, topic or theme, and thus to the patient.

Direct links

Please note

Inria Awards 2012

Pierre-Louis Lions : Grand Prize Inria

Isabelle Bellin -

Francis Bach - © Inria / Photo J.M. Ramès

Inria Awards 2012

Young researcher Inria award: Francis Bach

Isabelle Bellin -

Find out more

Inria Awards 2012

Paul-Louis George : Inria - Dassault Systèmes 2012 Innovation Award winner

Françoise Breton -

Team leader of the Gamma3 project team (Inria, Troyes University of Technology), Paul Louis George is one of the inventors of the GHS3D volume mesh, a software used throughout the world by players in the industry, researchers and academics. Integrated in several software for 3D calculations by finished elements, GHS3D helps obtain simulations which are particularly reliable and high performing. A success based on teamwork undertaken over the long term and which is now being rewarded with the innovation award.

International programmes

The "Internships" programme

Direct links

Please note

Inria & SME - Publication

Innovate through the digital sciences - Connect n° 3

Find out more

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.

Search results for : "Feit-Thompson theorem"

Home > Search results

There are 3 Results with the keyword : "Feit-Thompson theorem"

Computer-assisted proof

Mathematical proof by computer science!

Nathaly Mermet - 22/11/2012

A complete formal proof, certified by the Coq software, was announced in September by Georges Gonthier and his team at the Inria-Microsoft Research joint laboratory.

This work renders the conflict between computer science and mathematics obsolete, the common denominator being logic. Two young researchers who joined Georges Gonthier for the ride told us how much they enjoyed participating in the work and "grew" as a result of the Mathematical Components (MathComp) project. Here's what they had to say...

Keywords:

Home > Research > News > La preuve mathématique par informatique !

Computer-assisted proof

"Our work diagram looked like a Napoleonic war plan!"

Françoise Breton - 22/11/2012

Six years transpired between the start of the project and the end of the proof of the Feit-Thompson theorem, which came on 20 September 2012. Following is the account of this modern-day adventure.

Interview with Georges Gonthier, Microsoft Research-Inria joint laboratory.

Keywords:

Home > Research > News > "Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !"

Computer-assisted proof

A major success for computer-assisted proof

Françoise Breton - 22/11/2012

Six years after the computer-assisted proof of the four colour theorem, Georges Gonthier and his team have successfully proven the far more complex Feit-Thompson theorem, a central theorem in group theory and group classification. This is a significant step forward for mathematicians, who are increasingly utilising computer-assisted proof. Moreover, it is a success for computer science, which as a result of this endeavour has shown its ability to deploy advanced tools and techniques to codify mathematics.