Séminaire OASIS -- 2002
INRIA Sophia-Antipolis

Décembre
Mardi 18 déc. 14h Salle du conseil
Arnaud Contes Oasis ProActive et la sécurité
Mardi 4 déc. 14h Attention: E-002
Fabrice Huet Oasis Forwardeurs vs Serveur, une évaluation de deux approches pour localiser des agents mobiles?
Novembre
Mardi 20 Nov 14h Salle du conseil
Ludovic Henrio Oasis Le calcul ASP: une modélisation de Proactive
Mardi 6 Nov 14h Salle du conseil
Bernard Serpette Oasis Expériences autour de la JVM
Octobre
Mardi 30 Oct 14h Salle du conseil
Rabéa Boulifa Oasis Modélisation de propriétés de comportement de programmes Proactive
Mardi 16 Oct 14h Salle du conseil
Florimont Ployette LANDE(IRISA) Outils d'analyse statiques du projet Lande
Claude Pasquier OASIS Contributions Java/JAvaCard en Smartools
Mardi 2 Oct 14h Salle du conseil
Julien Vayssière OASIS A simple security-aware MOP for Java
Septembre
Lundi 17 Sept 14h Salle de conférences du Cermics
Ludovic HENRIO OASIS Context Inference for Static Analysis of Java Card Object Sharing
Aout
20 aout 11h Salle du conseil
Erick Fredj The Jerusalem College of Technology Automatic Landmarks Detection of 3D Digital Shapes
Février
27 février 14h Salle 006
Patrick Viry ASTEM Transformation interactive de programme
Janvier
26 aout janvier 14h30h Salle du conseil
Claudio Sacerdoti-Coen Université de Bologne Project HELM: an Hypertextual Electronic Library of Mathematic


Eric Madelaine
Last modified: Fri Aug 30 15:38:15 MEST 2002

Talks in 2000
Talks in 1999
Retour au serveur du projet / Back to the OASIS main page