Inria
Inria.fr
Inria Channel
There are 73 Results with the keyword : "Saclay - Île-de-France"
Scientific partnership
Forum 2011 MSR Inria
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.
Keywords:
- Microsoft Research
- Méthodes formelles
- Preuves
- Fonctions mathématiques
- Vision artificielle
- E-Sciences
- TLA+
- Coq
- Ssreflect
- ReActivity
- Laboratoire commun
- Saclay - Île-de-France
Home > News > News from Inria > Forum 2011 Labo MSR-Inria
Laboratoire commun
Forum Microsoft Research Inria 2011
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
Guests : 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
Keywords:
- Microsoft research
- Joint Laboratory
- Formal Methods
- E-Sciences
- Proofs
- TLA+
- Coq
- Ssreflect
- Mathematical Functions
- ReActivity
- Computer vision
- Machine learning
- Saclay - Île-de-France
Home > News > Calendar > Forum Microsoft Research Inria 2011
AWARD
Test of time award for Dale Miller (Parsifal)
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
© Inria / Photo Kaksonen
Algorithmics, Programming, Software and Architecture
Providing solutions for more secure exchanges
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
Hasnaa Zidani, Commands project-team
European project
SADCO: optimisation on a pan-European scale
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
Price
Best paper at GECCO conference
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
© SemEval-2010
Distinction
SemEval-2010
Laurent Romary and Patrice Lopez were ranked first out of 19 participants in the SemEval-2010 competition for the task of ‘Automatic extraction of keywords from scientific articles’. They presented their results during the SemEval-2010 workshop, which took place in Uppsala, Sweden on July 16th.
Keywords:
© Inria / Photo Kaksonen
International relations
Franco-Japanese high-performance computing project
ANR-JST FP3C (Framework and Programming for Post Petascale Computing), coordinated in France by the Grand-Large project-team, aims to tackle the challenges of high-performance computing. This exceptional collaboration between France and Japan is one of the four projects selected from the many submissions made as part of a call for projects.
Keywords:
Home > Centre > Saclay > News > Projet franco-japonais calcul haute performance
Prix
Laurent Romary and Patrice Lopez: CLEF-IP winners 2010
For the second year in succession, Laurent Romary and Patrice Lopez have won the CLEF-IP information retrieval competition.
Keywords:
Home > Centre > Saclay > News > Laurent Romary et Patrice Lopez, premiers à CLEF-IP 2010
© Inria Saclay - Île-de-France
Prize
Best paper award pour three members of the Proval project-team
Mohamed Iguernelala, Evelyne Contejean and Sylvain Conchon, from the Proval research-team, have won the EATC award (European Association for Theoretical Computer Science) for the ETAPs 2011 best paper (European Joint Conferences on Theory and Practice of Software).
Keywords:
Home > Centre > Saclay > News > Best paper award pour trois chercheurs de Proval
Inria Research Centers
