Ecole Jeunes Chercheurs

en Algorithmique et Calcul Formel

LaBRI, Université Bordeaux 1

22 - 26 mars 1999

Programme


Lundi 22 mars 1999

14.00 - 14.15 Accueil

Algorithmique des objets graphiques en mathématiques et informatique

14.15 - 17.15
Maylis Delest (Bordeaux)
Jean-Philippe Domenger (Bordeaux)
Jean-Marc Fedou (Nice)

 

Exposés de jeunes chercheurs

17.30 - 17.50 A. Akhavi

Phénomènes de seuil dans les réseaux aléatoires et analyse en moyenne d'algorithmes de réduction
17.50 - 18.10 J. Clement

Dynamic sources in information theory: analysis of general trie structures
 
18.30
Vin et fromage, à l'invitation de la Mairie de Talence.

Mardi 23 mars 1999

Calcul formel et systèmes polynomiaux

09.00 - 10.00 Marie-Françoise Roy (Rennes)

Quelques aspects de la recherche sur les systèmes polynomiaux, notamment dans le cas réel
10.15 - 11.15 Jean-Charles Faugère (Paris)

Systèmes polynomiaux: le chemin de la théorie à l'efficacité
11.30 - 12.30 Bernard Mourrain (Sophia)

Approche matricielle de la résolution d'équations polynomiales
 

Exposés de jeunes chercheurs

14.00 - 14.20 Ph. Aubry

Décomposition triangulaire de systèmes polynomiaux
14.20 - 14.40 D. Boucher

Problèmes liés à la résolution d'équations différentielles linéaires dépendant de paramètres
14.40 - 15.00 L. Ducos

Calcul d'un système de générateurs de l'idéal des relations entre les racines d'un polynôme
15.00 - 15.20 L. Granvilliers

Simplification de systèmes non linéaires pour le calcul d'intervalles
15.20 - 15.40 E. Hallouin

Calcul de fermeture intégrale en dimension 1
15.40 - 16.00 I. Kotsireas

Théorèmes de symétrie pour les problèmes des 4 et 5 corps à masses égales
16.00 - 16.30 Pause
16.30 - 16.50 F. Lehobey

Reformulation du problème de remontée dans la méthode de remontée à la Hensel de Collins et Encarnacion
16.50 - 17.10 A. Maignan

Exclusion généralisée
17.10 - 17.30 M. Safey

New structure theorems for subresultants
17.30 - 17.50 T. Zell

Homologie des ensembles semi-pfaffiens
17.50 - 18.10 S. Ballet

Bounds on the bilinear complexity of multiplication in any extension of F_q
18.10 - 18.30 N. Portier

Le problème des grandes racines et le problème des grandes puissances

Mercredi 24 mars 1999

Automates, systèmes à événements discrets et évaluation de performances

09.00 - 09.45 Alain Jean-Marie (Sophia)

Systèmes à événements discrets: les formalismes et leur dynamique. Graphes de taches, tas de pièces, files d'attente
09.45 - 10.30 Jean Mairesse (Paris)

Semi-anneau (max,+): théorie spectrale des matrices, automates à multiplicités et séries
11.00 - 11.45 Alain Jean-Marie

Chaînes de Markov: théorie spectrale. Evaluation de performances de systèmes dynamiques stochastiques
11.45 - 12.30 Jean Mairesse

Evaluation de performances de systèmes dynamiques (max,+). Problèmes ouverts
 

Exposés de jeunes chercheurs

14.00 - 14.20 L. Signac

Théorie algorithmique de l'information et apprentissage
14.20 - 14.40 A. Maes

Prédicats morphiques et applications à la décidabilité de théories arithmétiques
14.40 - 15.00 I. Klimann

Problème d'(A,B)-invariance sur les langages
15.00 - 15.20 S. Mantaci

Defect theorem for trees
15.20 - 15.40 L. Oget

Codes d'arbres et automates d'arbres
15.40 - 16.00 A. Surarerks

Multiplication en-ligne
16.00 - 16.30 Pause
16.30 - 16.50 S. Lombardy

Sur le calcul des solutions d'un système linéaire diophantien
16.50 - 17.10 C. Nicaud

Automates à groupe aléatoires
17.10 - 17.30 Ch. Prieur

Fonctions rationnelles continues sur les mots infinis
17.30 - 17.50 X. Augros

Un automate pour reconnaître les mots finis et infinis qui ont au moins deux factorisations sur un langage fini
17.50 - 18.10 L. Gueguen

Partitionnement maximalement prédictif sous contrainte d'ordre total
18.10- 18.30 S. Lippi

Programmation avec des réseaux d'interaction

Jeudi 25 mars 1999

Algorithmique en théorie des nombres

09.00 - 10.00 Henri Cohen (Bordeaux)

Méthodes algorithmiques en théorie des nombres
10.15 - 11.15 Karim Belabas (Orsay)

Utilisation du système de calcul formel Pari
11.30 - 12.30 Henri Cohen et Karim Belabas

Démonstration interactive de l'utilisation de Pari
 

Exposés de jeunes chercheurs

14.00 - 14.20 M. Bigotte

Table des relations de la fonction zêta colorée
14.20 - 14.40 K. Karamanos

Some aspects of symbolic dynamics of Feigenbaum limit sets
14.40 - 15.00 C. Banderier

Combinatoire analytique: application aux marches aléatoires
15.00 - 15.20 V. Canterini

Représentations géométriques de substitutions
15.20 - 15.40 C. Chauve

Variations autour de la formule de Cayley
15.40 - 16.00 B. Gauthier

A proof of Kummer's theorem
16.00 - 16.30 Pause
16.30 - 16.50 D. Poulalhon

Une bijection entre les suites de parking et certaines paires de permutations
16.50 - 17.10 M. Latapy

Construction de SPM(n) et SPM(\infty) (tas de sable)
17.10 - 17.30 G. Fertin

Sur la (2-1)-réarrangeabilité de l'hypercube
17.30 - 17.50 N. Caspard

Un algorithme de reconnaissance des treillis engendrés par duplications d'ensembles convexes
17.50 - 18.10 F. Madelaine

Une approche algébrique de CSP
18.10- 18.30 F. Magniez

Approximate testing with relative error

Vendredi 26 mars 1999

Automates finis sur les mots infinis

09.00 - 10.30 Olivier Carton (Marne-la-Vallée)

Mots infinis et automates
11.00 - 12.30 Christiane Frougny (Paris)

Fonctions de mots infinis réalisables par automate fini. Application à la représentation des nombres réels

Cette école ne pourrait avoir lieu sans le soutien financier...

du CNRS et de son département SPI , par le biais du GdR ALP

du LaBRI, qui de plus nous a accueilli et nous a prêté son infrastructure, de la Formation doctorale Informatique de l'Université Bordeaux-1, de la Mairie de Talence, et du Conseil Régional Aquitaine.
 
 
Conseil Régional Aquitaine


Pascal Weil