News

Archives

Projects

Share:
A A
28 August 2007 - Dynamic Dictionary of Mathematical Functions
Project Dynamic Dictionary of Mathematical Functions: the biginning
Bruno Salvy, Frédéric Chyzak and Alin Bostan starts the project Dynamic Dictionary of Mathematical Functions More
7 June 2007
Salon Européen de la recherche et de l’innovation
La troisième édition du Salon Européen de la Recherche et de l’Innovation a ouvert ses portes le jeudi 7 juin 2007. De nombreuses personnalités du monde entier étaient présentes lors de son inauguration. Les recherches consacrées a la sécurité informatique et développées au sein du centre commun INRIA-Microsoft Research ont été présentées par les équipes.. ... More
2 May 2007 - Mathematical Components
Guillaume Melquiond arrives from ENS-Lyon for 1 year as post doctorant in Orsay
More
16 April 2007
A Type Discipline for Authorization in Distributed Systems, Sergio Maffeis, Imperial College
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may be compromised, that is, some nodes of the system and their security credentials may be under the control of an attacker. To help predict and.. ... More
6 March 2007
Tech Fest at MSR Redmond
More
23 January 2007
Nikolaj Bjorner, MSR Redmond, 11h
More
12 January 2007
Gilles Kahn Colloquium
Gilles Kahn was a main promoter of the Joint Centre in Orsay. One year after he passed away, a colloquium is organized in his memory More
13 November 2006
LIX Colloquium on Emerging Trends in Concurrency Theory
More
8 November 2006
Sergio Maffeis and Andy Gordon visiting for 3 days
More
26 October 2006
Jerry den Hartog is visiting for 2 days
More