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
>
2007
>
November
Monthly Archives:
November, 2007
Share:
A
A
29 November 2007
Talk by Sebastien Briais, ENS Lyon
A formalisation of the spi calculus in Coq Sébastien Briais Plume Team, ENS Lyon Thursday, 29 November 2007 10h30 - 11h30 MSR-INRIA Joint Centre Firstly, I will recall the definition of the spi calculus (an extension of the pi calculus to reason about cryptographic ...
More
23 November 2007
Assia Mabhoubi gives seminar at INRIA Rocquencourt
Preuve formelle à grande échelle et réflexion à petite échelle Assia Mahboubi I N R I A - Rocquencourt Amphi Turing du bâtiment 1 Vendredi 23 novembre, 10h30 En 2004, G. Gonthier a achevé la preuve formelle du théorèmes des quatre couleurs dans ...
More
6 November 2007
4th meeting of Management Committee in 2007.
