Descriptifs des stages proposés :
Lieu
:
Descriptifs des stages proposés :
Programmation
distribuée et réactive : les Ambients Réactifs .
Implémentation distribuée des Ambients .
Inférence de Type pour les Objets .
Protocoles Cryptographiques et Calcul Symbolique
.
Bisimulation étiquetée pour les Ambients .
Les autres stages proposés à l'INRIA Sophia