Sites Inria

Version française

And also…

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

Keywords:

More

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

Partnership

Inria works on 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.

Keywords:

More

© Inria

Survey

How much do French people understand of the digital world?

Yannick Le Thiec - 22/11/2011

Health, industry, transport, agriculture, communication, the environment… no field has escaped the profound impact of digital sciences and technology – inventions that are moulding the contours of a “New World” today. This daily reality, at once invisible, diverse and omnipresent, raises a fundamental question: how much do French people understand of the digital world in which they live?

Keywords:

More

Inria Saclay - Île-de-France

Inauguration

Inauguration of the PCRI

9/11/2011

In the heart of the Moulon district of the Saclay campus, the PCRI, a joint research centre in computer science, was inaugurated on Wednesday November 9th 2011 in the presence of Laurent Wauquiez, the French Minister of Higher Education and Research. The new 6,000 m² building will house almost all the research teams from the Computer Science Laboratory (LRI), the Paris-Sud/CNRS joint research unit and several other project teams from the Inria Saclay -Ile de France centre. The themes concerned by the PCRI researchers and research-lecturers cover a wide range of topics in computer science, from fundamentals to applications.

Keywords:

More

Price

Best paper at GECCO conference

10/10/2011

The Genetic and Evolutionary Computation Conference (GECCO) conference is the major and most selective yearly conference on evolutionary computation.  The paper "Local-Meta-Model CMA-ES for Partially Separable Functions'', of Zyed Bouzarkouna (IFP and Tao project-team), Anne Auger (Tao project-team) et Didier Yu Ding (IFP), obtained the best paper award in the Evolution Strategies / Evolutionary Programming track.

Keywords:

More

Frank Cappello Frank Cappello - © Inria Photo Jim Wallace

Inria-Urbana champaign

A productive partnership based on 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.

Keywords:

More

Hasnaa Zidani, Commands project-team Hasnaa Zidani, Commands project-team

European project

SADCO: optimisation on a pan-European scale

5/09/2011

To mark the first SADCO summer school, we interview its coordinator, Hasnaa Zidani, from the Commands project team, which is developing this project focusing on optimal control. Hasnaa explains why she wants to train young researchers through this programme.

Keywords:

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:

More

© Inria / Photo Kaksonen © Inria / Photo Kaksonen

Algorithmics, Programming, Software and Architecture

Providing solutions for more secure exchanges

30/08/2011

The Secsi project-team (a joint team with the Specification and Verification Laboratory (LSV), the French National Centre for Scientific Research (CNRS) and the ENS-Cachan) works on verifying cryptographic protocols, such as those used for e-commerce or ATMs, and installing intrusion detection tools in IT systems, so as to alert users to any potentially malicious actions. As three of its members apply for their habilitation to advise doctoral theses, we take a closer look at the research work of this team.

Keywords:

More

Scientific award

DESCARWIN ANR wins the 7th annual international planning competition

24/08/2011

The DAEX planning system, developed by the DESCARWIN ANR (French National Research Agency), has won 1st prize in the 7th annual International Planning Competition (IPC) in the Deterministic Temporal Satisficing track.

Keywords:

More

Top