RSS
Contact
Publications
Press
Photos-videos
Homepage
About the Joint Centre
Overview
Highlights
Timeline
Research Areas & Projects
Research Areas
Computer Vision and Medical Imaging
Formal Methods for Mathematics, Distributed Systems and Security
Machine Learning & Big Data
Social Information Networks and Privacy
More
Projects
colonne 1
4D Cardiac MR Images
Mathematical Components
A-Brain
ReActivity
Adaptative Combinatorial Search for E-science
colonne 2
Scientific Image and Video Mining
Secure Distributed Computations and their Proofs
Dynamic Dictionary of Mathematical Functions
Tools for Proofs
More
Researchers
News & Events
News
Events
Conferences & Workshops
Open Positions
Overview
Microsoft Research Inria Joint Centre
16 April 2013
Our new website is live !
Home
>
2012
>
March
Monthly Archives:
March, 2012
Categories
News
Events
Conferences & Workshops
March 2012
M
T
W
T
F
S
S
« Sep
May »
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Archives
October 2013
September 2013
July 2013
June 2013
April 2013
December 2012
September 2012
May 2012
March 2012
September 2009
May 2008
November 2007
Projects
4D Cardiac MR Images
A-Brain
Scientific Image and Video Mining
Adaptative Combinatorial Search for E-science
ReActivity
Dynamic Dictionary of Mathematical Functions
Secure Distributed Computations and their Proofs
Tools for Proofs
Mathematical Components
Share:
A
A
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
Page 1 of 1
1
