Events
-
-
7 October 2007
Georges Gonthier gives seminar at the French Academy of Sciences
-
Journée sur les avancées en Sciences de l’Information présentées par leurs auteurs. Séance publique de l’Académie des sciences Vidéo de la présentation. Mardi 9 octobre 2007, 14h30
More
-
-
26 September 2007
International workshop on Mobility, Algorithms, Graph theory In dynamic NEtworks
-
This workshop on the area of dynamic wireless networks is affiliated with DISC 2007. The program can be found here
More
-
-
18 September 2007
Craig Mundie visits the Joint Centre
-
Craig Mundie, Chief Research and Strategy Officer at Microsoft, visits the Joint Centre September 18, 2007, 9:30-12:00. Presentations: The Joint Centre, Jean-Jacques Lévy, Secure Distributed Computations and their Proofs, Cédric Fournet, Image and video mining for science and humanities, Jean Ponce Many pictures of the visit can be found here ...
More
-
-
4 September 2007
3rd meeting of Management Committee in 2007
-
More
-
-
17 July 2007
Talk by Stéphane le Roux
-
Acyclicity of preferences, Nash equilibria, and Subgame perfect equilibria: two Proofs of the Equivalence Stéphane le Roux ENS-Lyon Sequential game and Nash equilibrium are basic key concepts in game theory. In 1953, Kuhn showed that every sequential game has a Nash equilibrium. Traditionally, sequential games involve real-valued payoff functions. I replace them with abstract atomic.. ...
More
-
-
9 July 2007
10th anniversary of MSR Cambridge
-
More
-
-
20 June 2007
Meeting of the ANR project, PARSEC, Parallelism and Security, chaired by Gérard Boudol
-
More
-
-
5 June 2007
2nd meeting of Management Committee in 2007
-
More
-
-
25 May 2007
Ana Matos, talk on Non-disclosure for Distributed Mobile Code
-
Non-disclosure for Distributed Mobile Code Ana Matos Instituto Superior Técnico Lisbonne This talk is about ensuring confidentiality in networks. More specifically, it is about controlling information flows between subjects that have been given different security clearances, in the context of a distributed setting with code mobility. Clearly, in such a setting, one cannot assume resources.. ...
More
-
-
22 May 2007
Enrico Tassi, 11h - A modular approach to the formalisation of finite groups
-
A modular approach to the formalisation of finite groups Enrico Tassi, 11h - Joint Centre + University of Bologna. The claim of the projects is that it is possible to build reusable and easy to compose libraries of formalised mathematics and that, standing on such a solid framework, it is possible to tackle “mainstream” mathematics.. ...
More
