News

Archives

Projects

Share:
A A
Image-Video-Missing-Science-Humanities
17 July 2013 - Scientific Image and Video Mining
Iconem and the Scientific Images and Videos Mining team in Sciences & Avenir
The project Scientific Images and Videos Mining and Iconem a startup which is offering real opportunities for heritage concervations have a great article this month in Sciences & Avenir. Buy the newspaper in a bookshop or download it here! More
Futur En Seine
14 June 2013
The “Digital images & Video Mining” project at Futur en seine 2013
Yves Ubelmann, expert engineer at \"Scientific images & Video Mining\" will present his contribution to the 3D reconstruction of Pompei's Villa di Diomede at Futur en Seine on Thursday 14th at 10am .                   Full agenda here About Futur en Seine here More
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
1 December 2012 - Tools for Proofs
A New Release of the TLA+ Proof System
TLA+ Proof System version 1.1.1 is available from http://tla.msr-inria.inria.fr/tlaps 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 September 20th 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 the Coq proof assistant. Read the announcement on the Microsoft Research website. 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