Précédent : Thèses et stages Remonter : Diffusion de résultats Suivant : Références
Précédent : Thèses et stages
Remonter : Diffusion de résultats Suivant :
Références
Sept membres de l'équipe ont participé au séminaire annuel du groupe de travail européen Types à Kloster Irsee, Allemagne, en mars 1998. Yann Coscoy, Pierre Leleu et Olivier Pons y ont donné des exposés.
Laurent Théry et Loïc Pottier sont allés à la conférence Méga (Méthodes effectives de géométrie algébrique à Saint Malo du 23 au 26 juin. Laurent Théry y a présenté son algorithme certifié de calcul de bases de Gröbner.
Romain Guider et Carine Courbis ont présenté leurs travaux dans le cadre des journées VIP/Dyade et Java Card, organisées en juillet à Sophia Antipolis (environ 25 participants).
Isabelle Attali a présenté les travaux sur Java et Java Card à l'université d'Adelaide, dans le cadre d'un workshop NSF-INRIA-CNRS, en juillet.
Joëlle Despeyroux et Laurent Théry sont allés à la conférence CADE-15 en juillet où Laurent Théry a présenté ses travaux sur la certification de l'algorithme de Buchberger.
Yves Bertot, Olivier Pons, Loïc Pottier, et Laurent Théry sont allés au colloque conjoint UITP-Calculemus-Types à Eindhoven du 13 au 16 juillet. Olivier Pons y a présenté ses travaux sur le calcul de dépendance et Loïc Pottier y a présenté les travaux de l'équipe sur la formalisation de l'algèbre en Coq.
Isabelle Attali a été invitée en octobre à l'ENS-Ulm pour y exposer les travaux sur la sémantique de Java.
Marjorie Russo a participé à la conférence OOPSLA, à Vancouver en octobre, et a présenté ses travaux sur la sémantique de Java au workshop « Formal Underpinnings of Java ».
Christophe Roudet a participé à la conférence « Automated Software Enginneering », à Hawaii en octobre.
Carine Courbis et Isabelle Attali ont participé au salon « Cartes'98 » qui s'est déroulé à Paris fin octobre.
Marjorie Russo et Isabelle Attali ont effectué des démonstrations sur la « Visualisation de la concurrence en Java » , dans le cadre des 8e Rencontres Inria-Industrie sur le thème « Informatique pour les télécommunications et le multimedia », le 26 novembre à Paris.
Isabelle Attali a participé à la conférence ISCOPE à Santa Fe, New Mexico, USA, en décembre.