Précédent : Diffusion de résultats Remonter : Diffusion de résultats Suivant : Enseignement universitaire
Précédent : Diffusion de résultats Remonter :
Diffusion de
résultats Suivant : Enseignement universitaire
Mireille Ducassé est membre du chapitre français du BUG (B User Group) et de l' AFFI (Association Française des Femmes Ingénieurs). Elle a été membre du comité de programme de JFPLC-98 (Journées Francophones de Programmation en Logique et par Contraintes).
Mireille Ducassé a été rapporteur sur les thèses de Jacques Pelet (Évaluation de l'intégrité des logiciels à caractère sécuritaire, université de St Etienne), préparée sous la responsabilité de M. Jourlin, et de Sophie Cherki (Rétro-ingénierie de programmes Fortran utilisant des spécifications algébriques, université de Paris Sud), préparée sous la responsabilité de C. Choppy.
Pascal Fradet a été membre du comité de programme de la conférence ICCL'98 ( IEEE International Conference on Computer Languages, Chicago).
Thomas Jensen a été membre du comité de programme de SAS'98 (Static Analysis Symposium, Pise).
Daniel Le Métayer a été membre des comités de programme des conférences ACM SIGSOFT FSE-6 (Sixth Symposium on the Foundations of Software Engineering, Orlando), IEEE ACM ICSE'99 (International Conference on Software Engineering, Los Angeles), WICSA1 (First Working IFIP Conference on Software Architecture), AFADL'98 (Approches Formelles dans l'Assistance au Développement de Logiciel, Poitiers). Il est également éditeur de numéros spéciaux des revues ACM Transactions on Software Engineering and Methodology et Theoretical Computer Science. Par ailleurs, il a été rapporteur sur la thèse de Christophe Bidan préparée sous la responsabilité de Valérie Issarny (Sécurité des systèmes distribués: apport des architectures logicielles).
Olivier Ridoux a été rapporteur sur la thèse d'Alain Hui-Bon-Hoa, (Principe de résolution pour un langage de programmation en logique avec contraintes de portée, université de Paris 7), préparée sous la responsabilité de Bernard Lang (Inria Rocquencourt), et examinateur pour la thèse de Christine Sinoquet (Grammaires à transformations morphiques. Recherche de motif - exacte ou approchée - adaptée aux séquences génétiques : le système GTM), préparée sous la responsabilité de Jacques Nicolas (ex-projet REPCO, Irisa).
Olivier Ridoux est membre du comité de direction du PRC/GDR « ALP». Il est membre (secrétaire) du comité de direction de l' AFPLC (Association Française de Programmation Logique et par Contraintes, correspondant en France de l' ALP). Il a co-organisé JFPLC-98 (Journées Francophones de Programmation en Logique et par Contraintes) avec Patrice Boizumault de l'École des Mines de Nantes [[10]]. Ces journées organisées conjointement avec les Journées française sur la résolution pratique des problèmes NP-complets ( JNPC'98) ont rassemblé une centaine de participants pendant 3 jours. Des actes ont été publiés (éditions Hermes) avec l'aide de l'Irisa. Il fait également partie du comité de rédaction de la revue TSI.