Technical meetings and Visits
- Paris, june 2005: ``Behavioural typing of
components'' (Oasis, ENST)
- Sophia-Antipolis, july 2005: ``Behavioural Typing
for ProActive distributed objects'' (Oasis, ENST)
- Vasy - Feria, Toulouse, 20-21 mars 2006: ``Langage intermédiaire
pour les outils de vérification'' (Vasy, Feria)
- Toulouse, 20 juin 2006: ``Langage intermédiaire Fiacre'' (Vasy, Feria)
Last modified: Mon Jan 17 17:18:58 MET 2005