Sites Inria

There are 78 Results with the keyword : "Saclay - Île-de-France"

© INRIA / Photo C. Lebedinsky

Program proving

Competition in programme proving

Françoise Breton – Technoscope - 1/02/2012

Six of the 29 participating teams occupied the top slots at the end of the programme proving competition organised for VSSTE 2012 (Verified Software: Theories, Tools and Experiments), which took place on January 28-29 in Philadelphia. Jean-Christophe Filliâtre and Andrei Paskevich, two of the competition organisers and members of the LRI (laboratory for computer science) and Proval team, told us more about the competition and its implications.

Keywords:

Home > Centre > Saclay > News > La vérification de programmes en compétition

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:

Home > Centre > Saclay > News > Inauguration du Pôle Commun de Recherche en Informatique

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:

Home > Centre > Saclay > News > Best paper à la conférence GECCO

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:

Home > Centre > Saclay > News > SADCO optimisation à dimension européenne

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:

Home > Centre > Saclay > News > Apporter des réponses pour des échanges plus sûrs

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

Scientific award

ANR DESCARWIN IPC 2011 Winner

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:

Home > Centre > Saclay > News > ANR DESCARWIN Lauréat IPC 2011

More

© INRIA / Photo J.-M. Ramès Jean-Goubault Larrecq - © INRIA / Photo J.-M. Ramès

Award

A CNRS Silver Medal for Jean Goubault-Larrecq

26/07/2011

Jean Goubault-Larrecq, leader of the Secsi project team, has just been awarded a CNRS 2011 Silver Medal, for the INS2I (Institute for Information Sciences and Technologies).
 The CNRS Silver Medal distinguishes a researcher for the originality, quality and importance of his work, which is recognised both nationally and internationally.

Keywords:

Home > Centre > Saclay > News > Jean Goubault-Larrecq médaille d'argent du CNRS

More

Top