Diffusion des résultats

Animation de la communauté scientifique

- G. Kucherov est membre du comité de rédaction de la lettre de l'AFIT (Association Française d'Informatique Théorique).

- P. Lescanne a participé au comité de programme et à l'organisation de la conférence Typed Lambda calculus and Applications à Nancy.

- Z. Benaissa a participé au comité d'organisation de la conférence Typed Lambda Calculus and Applications à Nancy.

- A. Cichon est membre du comité de programme de MCU'98 ( Machines et Calculs Universels) IUT de Metz, mars 1998.

Enseignement universitaire

- P. Zimmermann a effectué un module de spécialisation intitulé << Cinq algorithmes de calcul symbolique >> au DEA d'Informatique de Nancy-Metz [37].

- G. Kucherov a enseigné le module de spcialisation Complexité et analyse d'algorithmes du DEA d'Informatique de Nancy-Metz.

- F. Rouillier a donné un cours de DEA (6 heures sur 2 jours - mathématiques et applications) à l'Université de Limoges sur la résolution des systèmes polynomiaux.

- F. Rouillier a donné un cours de type postgraduate à l'École Polytechnique Fédérale de Lausanne (15 heures sur 2 mois : janvier et février) sur la résolution des systèmes polynomiaux.

- P. Lescanne est professeur à l'École Normale Supérieure de Lyon à compter du 1er septembre 1997.

- P. Lescanne est intervenu dans le DEA d'informatique de Nancy (année 1996-1997) dans le module Vérification Automatique et Preuves, et dans le DEA d'informatique de Lyon (année 1997-1998) dans un module de recherche sur la Terminaison.

- A. Cichon a enseigné le module de techniques avancées - Logique 2 - en DEA.

- A. Cichon est responsable du DESS Informatique de Nancy et participe à son enseignement.

Autres enseignements

- P. Zimmermann a été conférencier de l'école de printemps organisée à Sophia-Antipolis en avril, où il a fait un cours intitulé << Évaluation numérique de la fonction de Dickman >>. Il a aussi été conférencier invité aux journées X-UPS (Union des Professeurs de Spéciales) à l'École Polytechnique en mai, où il a fait deux exposés intitulés << Asymptotique automatique et analyse automatique d'algorithmes >> et << Calcul formel : ce qu'il y a dans la boîte >>.

- F. Rouillier a participé à l'école d'été Computer Algebra Applications qui s'est déroulée du 1 au 5 septembre 1997 à Laredo (Espagne) en intervenant deux fois quatre heures sur les outils de calcul formel pour la synthèse de bancs de filtres.

- F. Rouillier a co-organisé une semaine de formation (Pise du 27 octobre au 2 novembre 1997) aux outils développés dans le projet Européen FRISCO.

- A. Cichon a été rapporteur interne pour les thèses de Mademoiselle Narjes Ben Rajeb, Mademoiselle Polina Strogova et Monsieur Jean Lieber.

Participation à des colloques, séminaires, invitations

- En janvier, P. Zimmermann a été conférencier invité à Gascom'97 (Caen), où il a fait un exposé intitulé << Generating and drawing random structures with Combstruct and CGraph >> sur ses travaux avec Eithne Murray (projet Algo) et F. Bertault.

- En mars, F. Rouillier et P. Zimmermann ont participé au workshop FRISCO à Sophia-Antipolis, où ils ont fait deux exposés, un sur l'interface MuPAD-RealSolving, l'autre sur l'implantation par Xavier Gourdon (projet Algo) de l'algorithme de Schönhage de recherche des racines d'un polynôme.

- P. Zimmermann a été invité à l'ENS Lyon, où il a fait un exposé sur le thème << Interaction calcul formel - calcul numérique >>. Il a été invité par le groupe Fractales de l'Université Lyon 1 le 17 septembre à faire un exposé intitulé << Polynômes et Calcul Formel >>. Cet exposé a permis l'initialisation d'une collaboration avec Nik Lygeros et Michel Mizony autour d'une question posée dans << Pour la Science >>. Ce travail a conduit à la rédaction d'un article en commun, puis à la découverte avec Harvey Dubner et Tony Forbes en novembre 1997 de huit nombres premiers consécutifs en progression arithmétique, soit $p, p+210, p+2 \cdot 210, \ldots, p+7 \cdot 210$ où est le nombre de 92 chiffres :
43804034644029893325717710709965599930101479007432825862362446333961919524977985103251510661.

- P. Zimmermann a présenté l'avant-projet Interpol au séminaire d'évaluation du programme 2B de l'Inria le 13 octobre à Sophia-Antipolis.

- F. Rouillier a effectué un séminaire à l'Institut Elie Cartan (Novembre 1996 - Nancy) sur l'utilisation d'outils de calcul formel pour la résolution du problème d'interpolation de Birkhoff (optimisation).

- F. Rouillier a effectué un séjour d'une semaine à Dortmund (décembre 1996), invité par le Professeur E. Becker au département de mathématiques. Il y a fait un exposé sur la résolution des systèmes polynomiaux en pratique. Cette semaine a permis d'établir des liens sérieux de coopération. Ce même exposé a été fait à l'INRIA Sophia-Antipolis lors d'un séminaire commun aux équipes PRISME et SAFIR (mars 1997). Le sujet principal était la résolution des systèmes polynomiaux en pratique.

- F. Rouillier a participé comme conférencier aux journées organisées par l'Université de Rennes I sur les sous-résultants et les suites de Sturm-Habicht (mai 1997). L'exposé portait sur l'utilisation d'arithmétiques particulières (multi-modulaires, hybrides) dans certains algorithmes de calcul formel.

- F. Rouillier a été invité à plusieurs reprises par le département de mathématiques de l'Université de Pise, par le professeur C. Traverso, dans le cadre du projet FRISCO. Il a en particulier contribué à la restructuration de la bibliothèque (C++) POSSO (juillet 1997).

- V. Grébinski et G. Kucherov ont été invités à faire un séminaire à l'Université Paris-12 à Créteil.
- G. Kucherov a participé à la conférence MFCS'97 à Bratislava (Slovakie), au Fifth Israeli Symposium on Theory of Computing and Systems (ISTCS'97) et à la conférence WORDS à Rouen où il a fait des exposés.
- V. Grébinski et G. Kucherov ont participé à la conférence ESA'97 à Graz (Autriche) où ils ont présenté leur travail sur la recherche combinatoire.
- G. Kucherov a participé au séminaire sur les langages d'arbres à Dagstuhl (Allemagne) où il a présenté ses travaux antérieurs communs avec D. Hofbauer (Université Technique de Berlin) et M. Huber (Université de Kassel).

- P. Lescanne a présenté ses travaux au Workshop d'Utrecht sur la terminaison du 20 au 23 mai 1997, ainsi qu'au colloquium de l'Université d'Eindhoven le 2 octobre 1997.

- Z. Benaissa a participé à la conférence internationale de la programmation fonctionnelle (ICFP).

- A. Cichon a presenté ses travaux sur << Une Caractérisation syntaxique de la hiérarchie de Grzegorczyk >> (travail commun avec Elias Tahhan-Bittar) aux 13èmes Journées sur les Arithmétiques Faibles, IUT de Metz, décembre 1996.
Il a été invité à faire un exposé sur << Ordinal Terms as a Tool for the Classification of Computational Complexity >> (basé sur un travail commun avec Hélène Touzet) au Logic Colloquium 1997 - Special Session in Proof Theory - European Summer Meeting of the Association for Symbolic Logic à l'Université de Leeds, Angleterre, juillet 1997.
- A. Cichon a participé à deux workshops: Workshop on Proof Theory, Ordinal Analyses and their Applications, Westfälische Wilhelms-Universität, Münster, Allemagne, mai 1997, et au 3rd International Workshop on Termination, Utrecht (The Netherlands), mai 1997.

- N. Hermann a présenté ses travaux sur la schématisation pendant les Journées sur la collaboration franco-autrichienne à l'Inria-Rocquencourt le 20 mars 1997, ainsi qu'au séminaire du laboratoire d'informatique LIFO à l'Université Orléans le 24 novembre 1997.

- N. Hermann a présenté ses travaux sur la complexité de la déduction automatique au séminaire du laboratoire d'informatique LaBRI à l'Université de Bordeaux.

- B. Chetali et B. Heyd ont participé en août 97 à la 10ème conférence internationale TPHOL, qui s'est tenue à Murray Hill, New Jersey, où elles ont présenté leurs travaux sur la comparaison de démonstrateurs.

Précédent : Actions régionales, nationales et internationales Remonter : Projet EURÉCA, Preuve, calcul symbolique Suivant : Références