Précédent : Diffusion des résultats Remonter : Diffusion des résultats Suivant : Conférences invitéestutoriels, cours, etc.
Précédent : Diffusion des résultats Remonter :
Diffusion des résultats Suivant :
Conférences invitéestutoriels, cours,
etc.
Des membres du projet ont assisté aux conférences suivantes
:
Algebraic Methodology and Software Technology à Munich,
Allemagne, User Interfaces for Theorem Provers à York, Grande
Bretagne, Computer Aided Deduction à New-Brunswick, Etats-Unis,
Languages and Models for Future Computing Systems à Vienne,
Autriche, International Symposium on Objects Technologies for
Advanced Software, Kanazawa, Japon, conférence WWW à Paris,
International Conference on Parallel Processing, Lyon, Rencontres
sur le Parallélisme, à Bordeaux, Object-Oriented Programming :
Systems, Languages, and Applications, San Diego, Etats-Unis,
First B Conference à Nantes, et journées GDR Programmation à
Orléans.