Continuous Dynamics and Computability : Mercredi 3 mai 2006 en salle Weil , 45 rue d’Ulm
Program :
morning
- 9h 30 : A. Edalat, Maths-Computing, Imperial College, London : »Computable Bounds for Solution of Differential Equations with Imprecise Initial Values and Imprecise Vector Fields ».
- 10h 45 : A. Lesne, Physique, Paris VII-IHES: »Time and phase-space discretization in chaotic systems: how large is 1? ».
- Micropause
- 12h : E. Asarin, Informatique, Paris VII : « Noisy computations »
afternoon
- 15h : S. Galatolo, Matematica, Univ. di Pisa : « Chaos, orbit complexity, computability »
- 16h: O. Bournez, INRIA, Nancy : « Comparing the power of several analog models »
- Micropause
- 17h 15: T. Paul, Maths, CNRS – ENS : « Quantization as a discretization »
-
18h 15: Discussion with the speakers : « Continuum vs. discrete: Physics, Mathematics, Computing »
Introduced by G. Longo (Informatique, CNRS – ENS).