Avant-Projet : POLKA

previous up next contents
Précédent : Actions nationales Remonter : Actions régionales, nationales et internationales Suivant : Visites, et invitations de chercheurs


Sous-sections


   
Actions internationales

G. Kucherov a participé à la conférence internationale Computational Molecular Biology (RECOMB) à New-York en mars 1998. La prochaine édition de cette conférence, dont G. Kucherov est membre du comité d'organisation, aura lieu à Lyon en avril 1999.

G. Kucherov et R. Kolpakov ont présenté leur travail sur les fréquences de lettres dans les mots sans répétition à la conférence internationale MFCS'98 en août à Brno (République Tchèque). Ils ont également participé au séminaire du Stringology Club à Prague où ils ont présenté les nouveaux résultats sur la recherche de répétitions dans les mots.

En avril, V. Grébinski a participé au Workshop et Symposium « Discrete Mathematics'98 » à Berlin. Il a fait un exposé en tant que conférencier à la 4th Annual International Conference Computing and Combinatorics (COCOON'98) qui s'est tenue du 12 au 14 août 1998 à Taipei, Taiwan, R.o.C.

En juin, P. Zimmermann a présenté (en remplacement d'I. Dutour) le logiciel CS de génération aléatoire à la conférence FPSAC'98 à Toronto [[13]]. Ce logiciel est basé sur des travaux réalisés en commun avec Alain Denise du LRI.

En janvier, F. Rouillier a été convié à la préparation de l'évaluation du projet FRISCO par la CEE à Pise. En juin, il a participé à une réunion de travail à Lausanne (Suisse) sur les robots parallèles et a donné un exposé en compagnie de Luc Rolland sur l'utilisation du calcul formel pour la résolution du problème direct pour les robots parallèles. En août, F. Rouillier a fait un exposé sur REALSOLVING à la conférence ICM (International Congress of Mathematics) à Berlin, où seuls deux représentants de l'INRIA étaient présents (lui et Bernard Mourrain du projet SAGA). De septembre à octobre, F. Rouillier était invité au MSRI à Berkeley. En septembre, F. Rouillier a donné un exposé au Workshop « Solving Polynomial systems » au MSRI à Berkeley. En octobre, F. Rouillier à donné un exposé au Workshop « Symbolic Parallel Computation » au MSRI à Berkeley.

Europe

Polka fait partie du projet LTR FRISCO 21.042 (FRamework for Integrating Symbolic and numerical COmputations) dont le but est de fournir une panoplie d'outils efficaces pour la résolution des systèmes polynomiaux issus de problèmes de type industriel, et qui termine en mars 1999.

Dans le cadre d'une action intégrée Procope, une relation bilatérale a existé en 1997 entre l'INRIA Lorraine et l'Université de Paderborn en Allemagne. Cette relation perdure malgré la non-reconduction de l'action Procope, notamment avec la chaire industrielle de T. Scott pour la réalisation d'une interface entre MuPAD et Scilab.

G. Hanrot a été invité en décembre 1998 à exposer ses travaux sur le problème classique des diviseurs primitifs des nombres de LUCAS et LEHMER au colloquium du département de mathématiques de l'Université de Bâle. Cet exposé a donné lieu à un séjour de 4 jours sur place, pour travailler avec Yuri Bilu.

Russie et Asie Centrale

Dans le cadre de l'Institut franco-russe A. M. Liapounov d'informatique et de mathématiques appliquées, plusieurs membres de Polka participent au projet « Algorithmique et combinatoire des structures discrètes » (Projet 8) dont G. Kucherov est responsable du côté français. R. Kolpakov, un des principaux participants russes du projet, a rejoint Polka en 1998 pour un séjour post-doctoral de 10 mois, financé par le MESR. Les 9 et 10 avril 1998, un séminaire commun du projet a eu lieu à Moscou, centré sur les thèmes de la combinatoire et de l'algorithmique des mots. V. Grébinski, R. Kolpakov et G. Kucherov y ont présenté leurs travaux. Le prochain séminaire est prévu à Nancy en février 1999.



previous up next contents
Précédent : Actions nationales Remonter : Actions régionales, nationales et internationales Suivant : Visites, et invitations de chercheurs