Sites Inria

There are 31 Results with the keyword : "award"

1984

Chronology: Seven Key Dates

Mathilde De Vos -

On 23 January 2013 the Coq program is to receive the SIGPLAN Programming Languages Software Award. This prize is conferred on an annual basis in recognition of a software program that has had a significant impact on research and development in the field of programming languages. Here are seven key dates in the project's history.

Keywords:

Home > Innovation > Research Partnerships & Transfer > COQ > Chronologie

More

Coq: Thirty Years of Teamwork

Julien Thèves, Citizen Press -

Conceived thirty years ago at Inria's Paris-Rocquencourt laboratory, the Coq Proof Assistant continues to mobilise research teams. Its continuous development is a testimony to the interest shown in it by both the scientific community and, more recently, the financial sector.

Keywords:

Home > Innovation > Research Partnerships & Transfer > COQ > 30 ans de travail d’équipe

More

Coq: the Program that Provides the Proof

Julien Thèves, Citizen Press -

The winner of the SIGPLAN1 Programming Languages Software Award in January 2014, the Coq program has provided invaluable support for nearly thirty years now for computer scientists who use it as an aid for writing and checking programs. This extremely efficient proof assistant has won over numerous mathematicians too.

Keywords:

Home > Innovation > Research Partnerships & Transfer > COQ > La preuve par le logiciel

More

Real-time Latency Measure and Compensation

Mathieu Nancel and Géry Casiez receive the Google Research Award

17/04/2019

The Google Research Award are for research in areas of study that are of key interest to Google as well as the research community. These awards are unrestricted gifts that typically last for two to three years, and the recipients have the advantage of access to Google tools, technologies, and expertise.

Keywords:

Home > Centre > Lille > News > Mathieu Nancel et Géry Casiez reçoivent le prix Google Research Award

More

Christine Guillemot, Inria researcher

Award

2019 Eurasip Technical Achievement Award pour Christine Guillemot

Nathalie Lacaux - 7/05/2019

Christine Guillemot, director of research at Inria and head of SIROCCO research project team, will receive in september during the international conference EUSIPCO 2019, the 2019 Eurasip Technical Achievement Award. Each year, this award honors a scientist who, over a period of years, has made outstanding technical contributions to theory or practice in technical areas within the scope of the Society, as demonstrated by publications, patents, or recognized impact in this field. Christine Guillemot is rewarded  for her contributions to video processing for compression and inverse problems.

Keywords:

Home > Centre > Rennes > News > 2019 Eurasip Technical Achievement Award pour Christine Guillemot

More

A version of " Christiane's Hair " set

Paul R. Halmos - Lester R. Ford Award

A Question of Elegance

Martin Bellet - 10/10/2014

Last August, Jacques Lévy-Véhel, an Inria research team director (Regularity team), and his friend and colleague, Franklin Mendivil, received the Paul R. Halmos - Lester R. Ford. Jacques Lévy-Véhel took our questions about this award.

Keywords:

Home > Centre > Saclay > News > Une question d'élégance

More

Dale Miller / LICS

AWARD

Test of time award for Dale Miller (Parsifal)

30/08/2011

Dale Miller, leader of the Parsifal project-team, has been awarded during the LICS 2011 conference (June in Toronto) for a paper he wrote in 1991.

Keywords:

Home > Centre > Saclay > News > Test of time award pour Dale Miller

More

Award

RA-L 2018 Best paper award for Lagadic/Rainbow research team

Nathalie Lacaux - 3/06/2019

Keywords:

Home > Centre > Rennes > News > RA-L 2018 Best paper award pour l’équipe Lagadic/Rainbow

More

Anatole Lecuyer Anatole Lecuyer, Inria director of research

Distinction

The 2019 IEEE VGTC award for virtual reality goes to Anatole Lecuyer

Nathalie Lacaux (*) - 26/03/2019

Anatole Lecuyer, Inria director of research, picks up the “IEEE VGTC Virtual Reality Technical Achievement Award ”. Set up in 2005, this international prize is recognition for his research into the use of brain-computer interfaces (BCI) and pseudo-haptic feedback in virtual reality (VR).

Keywords:

Home > Centre > Rennes > News > Prix IEEE VGTC de la réalité virtuelle 2019 pour Anatole Lecuyer

More

Kayrros

Awards and Distinctions

The EIC Accelerator 2019 celebrates Kayrros, an Inria startup.

9/10/2019

The European Innovation Council (EIC) has awarded an “Accelerator” grant to Kayrros, a startup specializing in the energy sector and quantitative information. 

Keywords:

Home > Centre > Paris > News > L’EIC Accelerator 2019 célèbre Kayrros, une startup Inria.

More

Top