Theoretical Computer Science

The journal Theoretical Computer Science, founded in 1975, is published by Elsevier Science Publishers.

Its contents are mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All kinds of papers, introducing or studying mathematical, logical and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing. Papers published in Theoretical Computer Science are grouped in two sections according to their nature. One section, "Algorithms, automata, complexity and games", is devoted to the study of algorithms and their complexity using analytical, combinatorial or probabilistic methods. It includes the whole fields of abstract complexity (i.e., all the results about the hierarchies that can be defined using Turing machines), of automata and language theory (including automata on infinite words and infinitary languages), of geometrical (graphic) applications and of system performance using statistical models. A subsection is the Mathematical Games Section, which is devoted to the mathematical and computational analysis of games.

The other section, "Logic, semantics and theory of programming", is devoted to formal methods to check properties of programs of implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods.

The founding editor of Theoretical Computer Science was Prof. M. Nivat, and the editors-in-chief are:

Prof. Donald Sannella - TCS-B
Laboratory for Foundations of Computer Science,
School of Informatics,
University of Edinburgh,


Prof. Lila Kari - TCS-C
University of Waterloo,
Waterloo, Ontario,
Canada University of Western Ontario,


Prof. Paul G. Spirakis - TCS-A
Computer Technology Institute,
Greece your social media marketing partner
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.