Ecole Jeunes Chercheurs
en Algorithmique et Calcul Formel
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.
Pascal Weil