Comme seul conférencier principal, nous y avions convié Doron Zeilberger, qui venait d'écrire son article magistral ("seminal"?) sur la démonstration automatique des identités hypergéométriques, à savoir ``A~holonomic systems approach to special function identities" (J. Computational and Applied Math., vol. 32 (1990), p. 321-368). Ce dernier a bien voulu nous proposer, oralement au Liebfrauenberg, puis dans les présents Actes, une illustration vivante des méthodes d'interactivité entre les logiciels de calcul formel ("computer algebra") et la recherche mathématique la plus conceptuelle. Pierre Cartier, dans son exposé au séminaire Bourbaki sur les travaux de Zeilberger (Démonstration "automatique" d'identités et fonctions hypergéométriques [d'après Zeilberger], (Séminaire Bourbaki [Exposés 745--749, Paris (1991/1992)], exposé no. 746, p. 746--01-43. Paris, N. Bourbaki, 1991) concluait son introduction en disant : "Le jour est sans doute proche où les formulaires classiques sur les fonctions spéciales seront remplacés par un logiciel d'interrogation performant, une extension de MAPLE par exemple." Nous sommes heureux de pouvoir publier ici une belle illustration de ces méthodes, écrite par l'inventeur lui-même.
Les Actes se poursuivent par un long article sur l'interpolation polynomiale et les bases de Gröbner de nos amis sardes, Luigi Cerlienco et Marina Murreddu et par les travaux récents des collègues strasbourgeois Guo-Niu Han et Jiang Zeng.