Tuesday, March 29, 2011

[DMANET] 2nd workshop New Worlds of Computation 2011

CALL for COMMUNICATION and PARTICIPATION --- please distribute
**********************************************************************

2nd workshop New Worlds of Computation 2011 LIFO,
University of Orléans (France) Monday May 23rd, 2011

http://www.univ-orleans.fr/lifo/evenements/NWC2011
**********************************************************************

Topics

The workshop New Worlds of Computation concentrates on models of
computation that fall out of the Turing context:

* Analog computation, Continuous computation, Hybrid systems,
* Computation on infinite structures (Ordinals, linear orders),
* Hypercomputation, Infinite time computation, Non-Euclidean
* spaces, Non-standard approaches, Optical collision, Abstract
* geometrical computation, Cellular automata, Collision based,
* quantum, DNA, membrane...

The classical Turing computability has been THE paradigm for
computation for more than half a century. In less than two decades,
various paradigms have been proposed (invented, discovered or
reframed) and communities have emerged: computable analysis, algebraic
models, Quantum computing, DNA, Cellular automaton... All of them fall
outside the classical context because they manipulate objects that are
just out of the classical scope (infinite objects or uncountably many
values) or continuous or infinite time. Unfortunately, there is no
miraculous generalized Church-Turing thesis (nor specialized analog
nor...).

The workshop aims at gathering researchers of a scattered but wide
off-Turing community in order to share points of view and bring forth
the common problematics. The audience aimed at is roughly the same as:

* Machines, Computations and Universality Unconventional
* Computation Computability in Europe Hypercomputation Research
* Network


Preliminary list of speakers

* Pablo Arrighi ? LIG, Grenoble (France) Françoise Chatelin ?
* CERFACS, University of Toulouse 1 (France) Rene Doursat ? École
* Polytechnique, Paris (France) Jean-Louis Giavitto ? IRCAM, Paris
* (France) Simon Perdrix ? LIG, Grenoble (France) Mike Stannett ?
* University of Sheffield (UK) Olivier Bournez ? LIX, École
* Polytechnique, Paris (France) Emmanuel Hainry ? LORIA, Nancy
* (France) Jonas Lefèvre ? LIX, École Polytechnique, Paris
* (France) Amaury Pouly ? ENS Lyon (France) Antoine Spicher ?
* LACL, Paris 12 (France)


Proceedings

* 1-2 page(s) abstract with references, local printing,
distributed at the workshop, and * there should be a special issue of
International Journal of Unconventional Computing.


Fares FREE

It includes: lunch, coffee break(s), proceedings.


Contact For communication and participation:

Maxime Senot <maxime.senot@univ-orleans.fr>

http://www.univ-orleans.fr/lifo/evenements/NWC2011
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************