What are more appropriate language environments for formalisms and programming, than the arboreal languages that humans evolved with? How might one move on from the limitations of the first generation of formal models in computer science? What kind of logics are suited for parallel forms of deduction? How might one use novel environments and models of computation, for establishing a closer link between mathematics and computer science? What are more efficient language systems and architectures for high performance computing? In my view these problems are connected, and are unlikely to go away unless radical measures are taken.

Your interest in SC is appreciated, I wanted to indicate that further implementations and reports will not be forthcoming for some time. Amongst the things that I would like to see eventually completed:

1. The introduction of propagation delay, abstract datatypes, polymorphism, and further programming constructs into Space and the compiler/simulator.
2. Hardware prototypes, and development of programming environments for Synchronic Engines.
3. Spatial version of predicate logic, and implementation of spatial deduction. In this approach predicates are virtual programming modules that implement characteristic functions, and logical relations are interpreted as transformation and virtual program composition of virtual modules.
4. Converging mathematical and computer formalisms on spatial language models that incorporate an abstract machine environment. Introducing computation into mathematical discourse using spatial logics and alpha ram machines.

Thanks are especially due to those who have contributed comments publicly and privately. I also wanted to thank those who provided external links to postings and the website.