Précédent : Activités extérieures Remonter : Diffusion de résultats Suivant : Références
Précédent : Activités extérieures
Remonter : Diffusion de résultats Suivant :
Références
Président de session, salon RTS'98, Paris, janvier (G. Le Lann).
Tutoriel ``Proof-Based System Engineering for Computer-Based Systems'', Symposium Annuel INCOSE'98, Vancouver (Canada), 27 juillet (G. Le Lann).
Séminaire ``Proof-Based System Engineering for Computer-Based Systems'', MITRE Corp., Bedford (USA), 31 juillet (G. Le Lann).
Conférence invitée ``Proof-Based System Engineering'' au 5ème Symposium ``Formal Techniques in Real Time and Fault-Tolerant Systems'', Lyngby (Danemark), septembre (G. Le Lann).
Rapporteur de la thèse ``Algorithmique et Modélisation pour la Qualité-de-Service des Systèmes Répartis Temps Réel'', L. Leboucher (CNET), septembre (G. Le Lann).
Président de session, AFRICOM'98, Tunis, octobre (G. Le Lann).
Organisation et présidence de la table-ronde ``System Engineering vs. Software Engineering : Where is the Borderline ?'', 11th Intl. Conf. on Software Engineering and its Applications, Paris, novembre (G. Le Lann).
Invitation à donner un tutoriel (Informatique Temps Réel et Génie Système) au salon RTS'99, Paris, février 1999 (G. Le Lann).
Membre du jury de la thèse d'habilitation à diriger des recherches ``Quelques questions d'algorithmique distribuée'', B. Charron-Bost (LIX), février 1999 (G. Le Lann).