[C2] ================================================ AMAST Links 02 05

 		     Theoretical Computer Science
	 Special issue : Universal Machines and Computations

  *Guest Editor:*  Maurice Margenstern
  *Important Dates:* 
 o  Deadline for submissions of manuscripts (full papers only: 
    extended abstracts will be rejected): September 15, 1995
 o  Notification of acceptance/rejection (after the usual 
    referee processing): January 1, 1996
 o  Deadline for reception of final papers: February 1, 1996
  *Topics:* 
 o  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
 o  minimal universal codes: size of such a code, namely, for 
    Turing machines, register machines, cellular automatas, tilings
 o  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 from URL:
   ftp://capella.ibp.fr/pub/mcu95