Due to an unusually low number of submissions, the organizing committee, in consultation with the program committee, has decided reluctantly to cancel this year's event. We apologize for any inconvenience this may cause.

We invite authors to direct their work to a special issue of IJFCS on the Frontier between Decidability and Undecidability and Related Problems.

• Submission: December 31, 2010
• Notification of acceptance: May 1, 2011
• Final version due: July 1, 2011
• Final decision: October 1, 2011

See CFP IJFCS for details.

• M. Margenstern
• J. Durand-Lose
• K. Sutner

 

• Digital Computation (fundamental classical models): Turing machines, register machines, finite state machines, other machines
• Digital models of computation: cellular automata, tilings, polyominoes, snakes, neural networks, molecular computation
• Analog and Hybrid Computation: computation over the reals, quantum computing, hybrid systems

• frontiers between decidability and undecidability
• minimal universal systems, in particular for Turing machines, register machines, cellular automata, tilings, neural nets, Post systems
• computation complexity of machines with a decidable halting problem as well as universal machines
• self-reproduction, self-assembly and other tasks
• universality and decidability in the real field