Colloque dans le cadre du
projet ANR:
Singularités physiques et calculabilité effective (G. Longo)
Continuous Dynamics and Computability
Ecole
normale supérieure, Paris,
Salle Weil, RdC du 45, rue
d'Ulm,
May 3, 2006
Program
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 et IHES:
"Time and
phase-space discretization in chaotic systems: how large is 1?".
Micropause
12h : E.
Asarin, Informatique, LIAFA, Universite Paris VII et CNRS:
"Noisy computations"
Pause
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).
..........
..........
..........
Contacts :
longo (at) di.ens.fr, page web
The Meeting is open to public; for self-reservation: HotelsParisENS.ps