Précédent : Enseignement Remonter : Diffusion des résultats Suivant : Organisation de colloques et de
Précédent : Enseignement Remonter : Diffusion des
résultats Suivant : Organisation de colloques et
de
R. Amadio : exposés de séminaires aux LIM, universités de Marseille et de Belfort, participation aux conférences CONCUR'96 (article [7] présenté par I. Castellani), Formal Techniques in Real Time and Fault Tolerant Systems (présentation de [8] ).
G. Berry : conférences invitées au congrès AMAST'96, Munich, et au Symposium SMC/AE on Informatics, Amsterdam. Workshop Logic and Models of Computation à Marseille (exposé invité). Workshop on Formal Verification à Rutgers (exposé invité). Conférence invitée à la journée industrie-recherche organisée par la compagnie Synopsys à Bruxelles. Conférences IDTC'96, (Paris) [19] et ACSC'96 (Singapour).
A. Bouali : conférence AMAST'96 (Munich) (présentation d'outils et démos) [12].
G. Boudol : séminaires Méthodes Formelles pour les Systèmes Critiques à Grenoble, Formal Methods for Open Object-based Distributed Systems à Paris, Semantics of Concurrent Systems à Dagstuhl, Logic and Models of Computation à Marseille (exposé invité), séminaire de logique de l'université Paris 7 (exposé invité), conférences CAAP-ESOP'96 (article [13] présenté par C. Lavatelli), CONCUR'96.
F. Boussinot : conférence RTCSA'96 à Séoul [14].
I. Castellani : exposés de séminaires à l'Inria Rocquencourt, aux universités de Sussex et Aarhus. Séminaires Semantics of Concurrent Systems à Dagstuhl (présentation de [7] ), Partial Order Methods in Verification à Princeton (exposé invité), colloque du projet EXPRESS à Dagstuhl (présentation de [7] ), conférence CONCUR'96 (présentation de [7] ).
A. Ressouche : conférence CONCUR'96 (Pise) (présentation d'outils et démos).
M. Robert : Congrès AFCET « Modélisation des systèmes réactifs » (Brest) [15].
D. Sangiorgi : séminaires Foundations of Object Oriented Languages (exposé invité [24] ), conférences LICS'96 ([16] ), CAV'96 ([17] ), CONCUR'96 ([7] ).
R. de Simone : cours à l'École d'Été MOVEP à Nantes, workshop TACAS (Passau) [10], conférence FLoC/CAV'96 (New Brunswick) [11], réunion Dagstuhl langages synchrones.
H. Toma : conférences ICCAD'96 [18] (San Diego) et FTRTFT'96 [9] (Uppsala).