Latest news

Leslie Lamport Leslie Lamport - © Bernard Lachaud

Turing Award 2013

Leslie Lamport: a pioneering scientific career

Olivier Lapirot - 3/06/2014

On 21 June, the Association for Computing Machinery's Turing Award for 2013 will be presented to Leslie Lamport, a researcher at the Microsoft Research-Inria joint laboratory. Below is a review of the 40-year career of a researcher in mathematics for digital technology

Keywords:

More

Christophe Godin and Teva Vernoux Christophe Godin and Teva Vernoux - © Inria

Publication

Modeling and biology - the story of a successful collaboration

Cyril Da - 17/12/2013

Christophe Godin, of the Inria Virtual Plants team, and Teva Vernoux, of the Laboratory of Plant Reproduction and Development (CNRS/ENS Lyon/INRA/UCBL), have conducted a project whose results cast light on the way plants form their amazing, universal arrangements of organs in spirals or in crowns. A total of 23 researchers and engineers from various disciplines contributed to this discovery, which has been published in the December issue of the journal Nature. A joint interview.

More

Photo Serge Abiteboul Serge Abiteboul at Inriality launch - © Inria

Scientific award

Serge Abiteboul awarded by the Royal Society

24/07/2013

Serge Abiteboul was awarded the 2013 Milner Award in recognition of his database research. Research Director at Inria Saclay, he is also member of the French Academy of Sciences and the Conseil national du numérique (France).

Keywords:

More

Environment

In 2013, Earth gets down to maths

Christine Leininger - Antoine Rousseau - 4/03/2013

Earth is our planet, a rich and complex planet both physically and biologically, shaped by civilisation. But it is also a planet in danger. How can mathematical and computer sciences help us study it better? Understand the phenomena that take place? Predict its future? Propose solutions where possible? These are questions that affect us all and which have caught the attention of researchers across the globe.

More

© Photo LIRMM

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.

Keywords:

More

European Research Council 2012

ERC Junior grantee Sylvain Lefebvre presents ShapeForge, a project with style

Isabelle Belin - 28/11/2012

Sylvain Lefebvre is one of four Inria candidates selected in the young researcher category for the 2012 ERC European call for projects. His project, named ShapeForge, will make it possible to produce, quite literally, everyday objects or pieces of furniture from given examples, taking inspiration from their style.

Keywords:

More

© Inria / Photo Kaksonen

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.

Keywords:

More

Georges Gonthier, join laboratory Microsoft Research-Inria © Laboratoire commun Inria-Microsoft Research

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:

More

© Photo Bernard Lachaud

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:

More

International conference

SuperComputing 2012: a must in computing

Nathaly Mermet - 12/11/2012

The global community of scientific computing has assembled in Salt Lake City, and will remain there until 16 November. Inria, a committed member of this event, established in 1988, has participated for nearly 20 years by sending its specialising in high performance computing (HPC).

Keywords:

More

Top