News

Projects

Share:
A A
Home Page_News
16 April 2013
Our new website is live !
We are pleased to release today the new Microsoft Research-Inria Joint Centre website! We designed  this website with a new graphical identity:  It's more colorful, with  simple navigation principles and color codes (green for news and events, blue for projects, red for researchers), offering an easier and faster access to our research projects, teams, news, seminars, etc. We made.. ... More
Machine Learning.fw
16 April 2013
The Microsoft Research Machine Learning Summit 2013
Watch the event live! Microsoft Research Machine Learning Summit April 23, 2013 | 13:30–17:00 GMT Join us for the broadcast of the Microsoft Research Machine Learning Summit streamed live from Paris on April 23 from 13:30–17:00 Greenwich Mean Time. This free online event offers highlights from the Machine Learning Summit, providing keynotes from machine learning experts and enlightening discussions ... More
Gonthier
20 September 2012 - Mathematical Components
Feit thomson proved in coq
Feit-Thompson theorem has been totally checked in Coq Thursday 20 September 2012, 18:16. We received following mail from Georges Gonthier (see below).It concludes the proof in Coq of the Feit-Thompson theorem. This theorem, also named the Odd Order Theorem, is the first main result in the classification of finite groups.This work was achieved by the.. ... More
4-colours-cartouche
20 September 2012 - Mathematical Components
The formalization of the Odd Order theorem has been completed the 20 September 2012
“This is really the End”. After a six year effort, members of the Mathematical Components team have completed an axiom-free formalization of the proof of the Odd Order theorem (due to Walter Feit and John Griggs Thompson), using theCoq proof assistant. Read the announcement on the Microsoft Research news. Read the announcement on the Inria — Microsoft Research Joint Centre website. ... More
5 September 2012 - Mathematical Components
Ssreflect 1.4 has been released
The ssreflect developers are pleased to announce the new release of ssreflect 1.4 for Coq 8.4 and Coq 8.3pl4. More on Mathematical Components web page ... More
Karthikeyan Bhargavan
4 May 2012 - Mathematical Components
Karthikeyan Bhargavan defends his HDR
Friday 4 May 2012, 11h Salle W, École Normale Supérieure 45, rue d’Ulm, 75005 — Paris Karthikeyan Bhargavan defends his HDR (Habilitation) entitle “Towards the Automated Verification of Cryptographic Protocol Implementations” – Inria – Paris Rocquencourt Abstract: In recent years, the emergence of effective protocol analyzers and expressive cryptographic models have ... More
28 March 2012 - Mathematical Components
Georges Gonthier is awarded of the “Grand Prix de la fondation EADS”
Fondation EADS Journée Envol Recherche www.envol-recherche.fr 18h45 Grand Prix Sciences de l’Informatique: Georges Gonthier, Principal Researcher, Microsoft Research Cambridge and Microsoft Research-INRIA  Joint Centre, received the “Grand Prix de la fondation EADS”.   See the Microsoft Research page of this event. ©EADS Corporate Foundation   More
18 September 2009
Alexandre Upellini, Wolfram Research France présente Wolfram Alpha
Orsay, Bat I, 1er étage MSR-INRIA Joint Centre Le système Wolfram Alpha par Alexandre Upellini. Wolfram Research FranceWolfram Alpha est un dictionnaire interactif de mathématiques construit au dessus de la technologie développée par Stephen Wolfram depuis de nombreuses années dans le système de calcul formel Mathematica.Plus d’infos sur le site de Wolfram Alpha ... More
8 May 2008 - Adaptative Combinatorial Search for E-science
First Search & Biology day
The objective of this invitation-based workshop is to bring together researchers interested in the application of search and optimization to problems coming from biology. The day will see several technical presentations and will give ample time to open discussions. Wednesday, 7 May 2008  Microsoft Research-INRIA Joint Centre,   Parc Orsay Université, 28, rue Jean Rostand,.. ... More
5 May 2008 - Mathematical Components
Andrea Asperti starts a 4-month visit
Andrea Asperti starts a 4-month visit in the Math. Components team and work on ssreflect ... More