SAR: Présentation des stages LIP6 [maj] [maj]

Posté le lundi 22 janvier 2007


Bonjour,

Dans la foulée du séminaire de Bruce Maggs, nous présenterons le mardi après-midi les stages proposés par le LIP6. L’idée est que vous puissiez poser des questions ensuite sur les stages en question auprès de leur responsables.

Cette réunion aura lieu à 14h00 au LIP6. La réunion aura lieu en salle 550. Voci le programme indicatif de cette présentation :

- 14h00 : F. Kordon - ouverture
- 14h05 : F Kordon - Implémentation de référence pour l’intéropérabilité entre modèles et plate-formes dans le cadre de la norme ISO/IEC-15909 (réseaux de Petri)
- 14h15 : G. Thomas - Etude et conception d’un noyau pour la micro machine virtuelle sur machine nue
- 14h25 : M. Gradinariu - Allocation de ressources auto-stabilisante et tolérante aux fautes dédiée aux systèmes dynamiques
- M. Gradinariu - Quorums dynamiques et tolérants aux comportements de type byzantin
- M. Gradinariu - Stockage et cohérence de données dans les systèmes dynamiques
- 14h55 : M. Shapiro - Extraction automatique de la sémantique ’applications coopératives dans un système de pairs.
- P. Sutra - Simulation et comparaison d’algorithmes de réplication de bases de données.
- L. Benmouffok - Gestion méthodique de la réplication optimiste : Outil collaboratif pour le développement de code.
- JM Busca - Gestion optimisée du multi-log pour le support d’applications coopératives .
- JM Busca - Gestion de la sécurité dans le cadre d’applications coopératives.
- 15h45 : O. Marin - Modélisation de fautes sur des réseaux mobiles ad-hoc
- O. Marin - Plate-forme d’observation système à large-échelle
- 16h05 : M. Ziane Transformations concurrentes et dynamiques

Fin à 16h15.


Autres Brèves