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
Sitemap
Pages
3rd year course at Ecole Polytechnique on “Networks: distributed control and emerging phenomena”
About the Joint Centre
Highlights
Overview
Timeline
Accessibility
Chronologie
Contact
Credits
dev homepage
home
Legal Conditions
Management Committee July 9, 2013
Open Positions
Photos-videos
Press
Publications
Research areas and Projects
Projects
Research areas
Researchers
Sitemap
Archives
June 2018
(1)
August 2016
(2)
October 2015
(1)
May 2015
(1)
January 2015
(1)
December 2014
(1)
October 2014
(1)
July 2014
(1)
April 2014
(1)
March 2014
(2)
October 2013
(1)
June 2013
(1)
May 2013
(1)
April 2013
(1)
September 2012
(1)
July 2012
(2)
June 2012
(2)
May 2012
(3)
February 2012
(2)
January 2012
(1)
November 2011
(1)
September 2011
(1)
June 2011
(1)
April 2011
(2)
March 2011
(2)
December 2010
(3)
November 2010
(3)
October 2010
(1)
July 2010
(2)
June 2010
(2)
May 2010
(3)
February 2010
(2)
January 2010
(2)
October 2009
(2)
September 2009
(3)
July 2009
(1)
June 2009
(2)
May 2009
(2)
April 2009
(2)
February 2009
(2)
January 2009
(3)
December 2008
(3)
November 2008
(1)
October 2008
(5)
September 2008
(2)
July 2008
(2)
June 2008
(3)
May 2008
(4)
February 2008
(2)
December 2007
(2)
November 2007
(3)
October 2007
(1)
September 2007
(2)
July 2007
(2)
June 2007
(2)
May 2007
(3)
February 2007
(5)
January 2007
(1)
November 2006
(1)
June 2006
(5)
May 2006
(1)
February 2006
(1)
February 207
(1)
Categories
Conferences & Workshops
Events
News
uncategorized
