Main

Program

Accomodation

Location & Travel

Organization
Date
2009, January, 12th
Place
LIFO, Université d'Orléans, Salle de réunion 1 (1st floor)
Program
8h30
Registration, opening
9h00
Entanglement without nonlocality
HewittHorsman clare
9h30
Halfway Up To the Mathematical Infinity II. NonDescreteness, NonSequentiality, and NonLocality of PostCantorian Transfinite Designs and the Prospectives of Quantum Both Computing and Formal Reasoning
Belaga, Edward G.
10h00
Computability with continuoustime dynamical systems
Daniel S. Graça
10h30
Cofee break
10h45
Modelling of Complex Systems: Systems as dataflow machines
Daniel Krob
11h15
Algebraic Characterization of Computable and ComplexityTheoretic Analysis
Walid Gomaa
11h45
Computations in hyperbolic spaces
Maurice Margenstern
12h15
Lunch break
14h00
The Infinity Computer and Numerical Calculus
Yaroslav D. Sergeyev
15h00
The Computational Power of Observed Quantum Turing Machines
Simon Perdrix
15h30
Register computations on ordinals
Ryan BissellSiders
16h00
Cofee break
16h15
Automata on infinite linear orders
Olivier Carton
16h45
The Computing Power of Selfassembling Tilings on the Whole Plane
Florent Becker
17h15
Decidability in continuous time dynamical systems
Emmanuel Hainry
17h45
Discussion, closing