Theoretical Computer Science
Special issue : Universal Machines and Computations
Guest Editor: Maurice Margenstern
Important Dates:
-
Deadline for submissions of manuscripts (full papers only:
extended abstracts will be rejected): September 15, 1995
-
Notification of acceptance/rejection (after the usual
referee processing): January 1, 1996
-
Deadline for reception of final papers: February 1, 1996
Topics:
-
frontiers between a decidable halting problem and an undecidable
one: Turing machines, register machines, cellular automatas,
tiling of the plane, polyominoes, snakes, neural networks,
other machines
-
minimal universal codes: size of such a code, namely, for
Turing machines, register machines, cellular automatas, tilings
-
computation complexity of machines with a decidable halting
problem as well as universal machines self-reproduction and
other tasks
Submission: Send 4 copies of a full paper to:
Maurice Margenstern
TCS special issue "Universal Machines and Computations"
LITP, 55-56, b.119; Universite' Paris 7
2, place Jussieu; F-75251 Paris Cedex 05
(Phone +33 1 44 27 28 40)
or a PostScript version of your full paper to:
Maurice.Margenstern@litp.ibp.fr subject: TCS/UMC
before September, 15. Please clearly indicate that your submission is
to the special issue of TCS.
Previous Conference: a conference devoted to these topics was held
in Paris, in March 1995. The abstracts of the lectures presented at
the conference are available by
anonymous ftp
.