Sites Inria

There are 40 Results with the keyword : "INRIA Sophia Antipolis - Méditerranée"

© 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:

Home > Research > News > Patrick Valduriez distingué ACM Fellow

More

Clément Maria - ESA 2012 Clément Maria - ESA 2012

Award - PhD

Clément Maria - Prix de thèse Gilles Kahn 2015

Pôle Communication - 3/03/2016

The Gilles Kahn Prize 2015, awarded by the French Computer Science Society (SIF) and sponsored by the Academy of Sciences, has been won by Clément Maria for his doctoral thesis entitled, ‘Algorithms and Data Structures in Algorithmic Topology’, supervised by Jean-Daniel Boissonnat of the Geometrica project team, and based on research carried out at the Inria Sophia Antipolis – Méditerranée Research Centre.

Keywords:

Home > Centre > Sophia > News > Clément Maria - Prix de thèse Gilles Kahn 2015

More

Justifying Machine Decisions

A gift from Accenture for Wimmics' research team

29/11/2017

Keywords:

Home > Centre > Sophia > News > Un don d'Accenture pour des travaux de recherche de Wimmics

More

© Inria / Photo G. Scagnelli

Editorial

A centre deliberately turned towards Europe

With its research teams based in Nice, Sophia Antipolis, Montpellier, Bologna and Athens, Inria Sophia Antipolis - Méditerranée research centre is a major player in the field of digital sciences and technologies deliberately oriented towards the European Research Area - in particular the European Research Council (ERC) - but also involved in higher education and research ecosystems and innovation ecosystems.

Keywords:

Home > Centre > Sophia > Overview > Éditorial de David Simplot

More

Batiment INRIA Sophia

Practical information

How to reach the Inria Sophia Antipolis - Méditerranée research centre

Most of our centre's research teams are located in Sophia Antipolis in Alpes-Maritimes, 8 km from Antibes, 12 km from Cannes and 28 km from Nice. Some teams are established in Montpellier. The FOCUS team is hosted by the computer science department of the University of Bologna in Italy.

Keywords:

Home > Centre > Sophia > Overview > How to reach the centre > Les implantations du centre sur le bassin méditerranéen

More

Batiment INRIA Sophia

Practical information

How to reach the Inria Sophia Antipolis - Méditerranée research centre

Most of our centre's research teams are located in Sophia Antipolis in Alpes Maritimes, 8 km from Antibes, 12 km from Cannes and 28 km from Nice. Some teams are established in Montpellier. The FOCUS team is hosted by the computer science department of the University of Bologna in Italy.

Keywords:

Home > Centre > Sophia > Overview > Les implantations du centre sur le bassin méditerranéen

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:

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

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:

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

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:

Home > Research > News > Un grand succès pour la preuve informatique

More

Organisation

Your contacts at the Inria Sophia Antipolis - Méditerranee research centre

For any questions about one of the departments of the Inria Sophia Antipolis - Méditerranee research centre, please contact the head of the department.

Keywords:

Home > Centre > Sophia > Overview > Liste des contacts

More

Top