Journées d'Informatique Mathématique
                Institut Henri Poincaré, Paris
                      Amphi Darboux

                    6 et 7 décembre 2004

           organisées par le GDR ALP et le RTP MathInfo

                          Programme
 
Lundi 6 décembre 2004


10.15 - 10.30 Ouverture
10.30 - 11.00 Jean-Yves Enjalbert : Polyzetas de Hurwitz et calcul symbolique non commutatif
11.00 - 11.30 Rémy Malgouyres : Convolutions par des masques à support sur une surface discrète
11.30 - 12.00 Marc Daniel : Courbures discrètes pour les applications de modélisation géométrique

14.00 - 15.00 Mireille Bousquet-Melou (exposé invité) : Sur la forme des arbres binaires
15.00 - 15.30 Eric Goubault : Quelques réflexions sur la géométrie des structures de calcul
15.30 - 15.45 Pause
15.45 - 16.15 Dominique Michelucci : Contraintes géométriques 3D, un survol
16.15 - 16.45 Karim Nouioua : Un algorithme par arrondi pour le problème du réseau de Manhattan minimal
16.45 - 17.15 Pierre Chatelier : Méthode de radiosité discrète de faible complexité
17.15 - 17.45 Xavier Le Breton : Caractérisation à la Tyszka" des séries formelles algébriques sur un corps fini

Mardi 7 décembre 2004

09.00 - 09.30 Delia Kesner: Substitutions Explicites et Réseaux des Preuves
09.30 - 10.00 Roberto Amadio : Contrôle de ressources pour systèmes synchrones coopératifs
10.00 - 10.30 Paul-André Melliès : Jeux asynchrones
10.30 - 10.45 Pause
10.45 - 11.15 Brigitte Vallée : La dynamique gaussienne des algorithmes d'Euclide 
11.15 - 11.45 André Raspaud : Vertex Labeling and Routing in Recursive Clique-Trees, a New Family of Small-World Scale-Free Graphs
11.45 - 12.15 Marc Daumas : Synergie entre calculs auto-validés et outils de preuves formelles

14.00 - 14.30 Emmanuel Jeandel : Problèmes d'universalité en calcul quantique
14.30 - 15.00 Thierry Bousch : Les retardateurs
15.00 - 16.00 Discussion sur l'avenir du GDR ALP