TCS-C New Computing Architectures – a Formal Glimpse

  in Special Issue   Posted on June 12, 2019

Information for the Special Issue

Submission Deadline: Tue 30 Jul 2019
Journal Impact Factor : 0.698
Journal Name : Theoretical Computer Science
Journal Publisher:
Website for the Special Issue:
Journal & Submission Website:

Special Issue Call for Papers:

Deadline: July 30th 2019

Guest Editors:

Cristian S. Calude,

Vicente Sanchez Leighton,

The exponential performance improvements – Moore’s law, Dennard Scaling, etc. – of the general purpose ‘classic’ computing architecture era are coming to an end after thirty years. At the same time, computing practice is revealing new limits of current architectures that went unnoticed until recently: insecurity (hidden channels), DRAM weaknesses (rowhammer effect), energy inefficiency, etc. Dramatic changes are coming. Dropping out universality, like in the quantum annealing method used in D-Wave machines, and classical application-specific architectures advocated by 2017 Turing Award recipient John Hennessy, are symptomatic examples. New alternative computing architectures will appear: quantum, ‘post classic’, a renaissance of dataflow (EDGE), biological, etc.

The objective of this Theoretical Computer Science C Special Issue, titled “New Computing Architectures – a Formal Glimpse”, is to publish papers from diverse fields – ranging from computer architecture to mathematics, physics and theoretical computer science – to explore how mathematical, and, particularly, reworked formal foundational methods, could contribute to the design of reliable (re)constructions of new architectures with improved ‘algorithmic’ efficiency, performance and coverage. Mathematical, logical, formal tools and proofs are needed not only to design but also to give “assurances” of the intended behaviour of new designs and machines. As John Rushby reminds us, ‘To make this notion of “assurance” precise, we need to be careful about the terms we employ’, and, in using these mathematical tools, special care should be paid to avoid Gödelian, broken abstractions, or other known pitfalls.

Important questions will stand to be answered: Can these new architectures be carved so that we can mathematically reason about them? Can these tools be productively used to verify and ensure the reliability and viability of multiple conflicting security domains, multiple scenarios, and multiple user applications?

Theoretical Computer Science C solicits high quality papers reporting research results related to all topics and aspects mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere. All manuscripts and any supplementary material should be submitted through Elsevier Editorial System (EES). The authors must select VSI:NCA- a formal glimpse when they reach the “Article Type” step in the submission process. The EES submission website is .

All papers will be peer-reviewed by three independent reviewers. Requests for additional information should be addressed to the Guest Editors. A detailed submission guideline is available as “Guide to Authors” at: .

Papers must be submitted no later than July 30th 2019.

Other Special Issues on this journal

Closed Special Issues