There are 78 Results with the keyword : "Saclay - Île-de-France"
On April 12th, Inria and Microsoft will organize a forum, to be held at Le Campus Microsoft, to celebrate four years of existence of the research centre created jointly by the two partners. This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations.
- Microsoft Research
- Méthodes formelles
- Fonctions mathématiques
- Vision artificielle
- Laboratoire commun
- Saclay - Île-de-France
You are kindly invited to participate to Forum 2011, on April 12th, in Le Campus Microsoft (Issy-les-Moulineaux). This will be an opportunity to showcase a very fruitful research collaboration through research presentations and demonstrations. There will be seven scientific talks and demos.
Place : Campus Microsoft 39, quai du Président Roosevelt 92130 Issy-les-Moulineaux
Guest(s) : Assia Mahboubi, Inria, Cédric Fournet, Microsoft Research Cambridge, Damien Doligez, Inria, Frédéric Chyzak, Inria, Bertrand Thirion, Inria, Jean-Daniel Fekete, Inria,Youssef Hamadi, Microsoft Research Cambridge, Marc Schoenauer, Inria,Jean Ponce, Ecole Normale Supérieure
- Microsoft research
- Joint Laboratory
- Formal Methods
- Mathematical Functions
- Computer vision
- Machine learning
- Saclay - Île-de-France
An example comparison between several optimization algorithms with the COCO platform: one curve for each algorithm, representing, for a given budget (on the x-axis), the proportion of optimization problems (as defined in COCO) that could have been solved while still staying within that budget.
Late 2012: first kick-off to mark the launch of the NumBBO project. We met with Anne Auger, research officer in the Tao team, as she told us about this ANR project she is coordinating.
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.
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.
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.
Algorithmics, Programming, Software and Architecture
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.
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.
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.
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.