2nd International Workshop on New Worlds of Computation 2011 Orl´ eans, France, 23–24 May, 2011 Laboratoire d’Informatique Fondamentale d’Orl´ eans Editors J´ erˆome Durand-Lose (chair) Maxime Senot Mathieu Chapelle Universit´ e d’Orl´ eans Contents Timetable ................................................ 0 List of participants ........................................... 1 Preface J´ erˆ ome Durand-Lose ...................................... 3 The physical Church-Turing thesis and the principles of quantum theory Pablo Arrighi, Gilles Dowek ................................. 4 Two Representations of Music Computed with a Spatial Programming Language Louis Bigo, Antoine Spicher, Olivier Michel ........................ 6 The legacy of Fourier, Poincar´ e and Einstein about Relative Computation Fran¸ coise Chatelin ....................................... 8 Toward Morphogenetic Engineering: Biological development as a new model of programmed self-organization Ren´ e Doursat .......................................... 10 Polynomial interpretation of stream programs Hugo F´ er´ ee, Emmanuel Hainry, Mathieu Hoyrup, Romain P´ echoux .......... 11 Membrane Computing – Programming and Verification Marian Gheorghe ........................................ 13 MGS: a declarative spatial computing programming language Jean-Louis Giavitto, Antoine Spicher ............................ 15 An Optical Approach to Computation Sama Goliaei .......................................... 20 A General Framework for Computability Fabien Givors, Gregory Lafitte ............................... 21 Equivalence between Population Protocols and Turing Machines Jonas Lef` evre .......................................... 23 Points, Distances, and Cellular Automata: Geometric and Spatial Algorithmics Luidnel Maignan ........................................ 24 About a message system for the tiles of the heptagrid of the hyperbolic plane Maurice Margenstern ..................................... 25 Beyond Determinism in Measurement-based Quantum Computation Simon Perdrix ......................................... 26 Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains Amaury Pouly .......................................... 27 A generic and modular signal machine solving satifiability problems Denys Duchier, J´ erˆ ome Durand-Lose, Maxime Senot .................. 29 Relativity in mathematical descriptions of automatic computations Yaroslav D. Sergeyev ...................................... 32 Recent Discussions in Cosmological Computation Mike Stannett ......................................... 33 Computing under Vagueness Apostolos Syropoulos ..................................... 35 http://www.univ-orleans.fr/lifo/evenements/NWC2011/