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
>
2009
>
February
Monthly Archives:
February, 2009
Share:
A
A
11 February 2009
Alan Schmitt gives seminar on HOCore
11 février 2009, 11h Orsay, Bat I, 1er étage, Centre de Recherche commun INRIA-MSR HOCore Alan Schmitt INRIA Rhône-Alpes HOCore est un calcul de processus d’ordre supérieur très simple, correspondant au pi calcul d’ordre supérieur sans la restriction. Ce ...
More
4 February 2009
Colin Riba talks about Type-based termination with sized products
Type-based termination with sized products Colin Riba, ENS-Lyon, 4 February 2009, 13h30 Bldg I, ground floor Joint Work with Gilles Barthe (IMDEA - Madrid) and Benjamin Grégoire (INRIA Sophia Antipolis) Type-based termination is a ...
More
Page 1 of 1
1
