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 |