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