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
Computer Vision for Hololens
Cryptography for the Blockchain
EVEREST
ML optimized for Cloud Implementation
TLA Proof System
colonne 2
Past projects
Colonne 1
4D Cardiac MR Images
A-Brain
Adaptative Combinatorial Search for E-science
Dynamic Dictionary of Mathematical Functions
Information Flows in Online Social Networks
Interactive Network Visualization
Mathematical Components
Privacy-Friendly Services and Apps
Colonne 2
ReActivity
Scientific Image and Video Mining
Secure Distributed Computations and their Proofs
Structured Large Scale Machine Learning
Tools for Proofs
White-Box Search-Based Software Engineering
Z-CloudFlow: Data Workflows in the Cloud
Chronologie
More
Researchers
News & Events
News
Events
Conferences & Workshops
Open Positions
Overview
Microsoft Research Inria Joint Centre
26 March 2014
ACM Turing Award goes to Leslie Lamport
Home
>
News
News
Archives
2020
February
2018
June
2016
August
2015
October
May
January
2014
December
October
July
April
March
2013
October
June
May
April
2012
September
July
June
May
February
January
2011
November
September
June
April
March
2010
December
November
October
July
June
May
February
January
2009
October
September
July
June
May
April
February
January
2008
December
November
October
September
July
June
May
February
2007
December
November
October
September
July
June
May
February
January
2006
November
June
May
February
207
February
Projects
EVEREST
Computer Vision for Hololens
TLA Proof System
Cryptography for the Blockchain
ML optimized for Cloud Implementation
Video Understanding
Medilearn
Interactive Network Visualization
Privacy-Friendly Services and Apps
Z-CloudFlow: Data Workflows in the Cloud
White-Box Search-Based Software Engineering
Structured Large Scale Machine Learning
Information Flows in Online Social Networks
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
Sorry, there is no news in this project.
Page 1 of 1
1
