Papers read at the Dallas, Texas workshop held 2-4 October 1992, sponsored by the local IEEE Computer Society chapter and Texas Instruments. The workshop aired the notion of formalizing a theory of computation/software that is compatible with general relativity and quantum theory. No index. Acidic p"