Theoretical Computer Science
Welcome to the online submission and editorial system for Theoretical Computer Science.
Theoretical Computer Science is 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 papers introducing or studying mathematical, logic 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 three sections according to their nature. The first section, TCSA - '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 field of abstract complexity (i.e. all the results about the hierarchies that can be defined using Turing machines), the whole field of automata and language theory (including automata on infinite words and infinitary languages), the whole field of geometrical (graphic) applications and the whole field of measurement of system performance using statistical methods.

The second section, TCSB - 'Logic, semantics and theory of programming', is devoted to formal methods to check properties of programs or 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 third section, TCSC - 'Natural Computing', is devoted to the study of computing occurring in nature and computing inspired by nature. In the rapidly evolving field of computer science natural computing plays an important role as the catalyst for the synergy of human designed computing with the computing going on in nature. This synergy leads to a deeper and broader understanding of the nature of computation. Although natural computing is concerned also with experiments and applications, this section of Theoretical Computer Science is focused on the theoretical aspects of natural computing with clear relevance to computing. Among others, it will contain papers dealing with the theoretical issues in evolutionary computing, neural networks, molecular computing, and quantum computing.

Notes from the editor:
As of now all submissions to Theoretical Computer Science should proceed on-line. Using this system, authors can submit their manuscripts on-line and follow their manuscripts' progress through the review process; reviewers can download assigned manuscripts and submit their reviews on-line; and editors can manage and keep track of the entire reviewing process in a timely fashion. For more information on the new on-line submission and review system, please read the Tutorial for Authors or the Tutorial for Reviewers. For questions on the submission and reviewing process please contact the Editorial Office.
Hints:
We strongly suggest you regularly check your spam folder for EES notifications. Update your 'Safe Senders' list to ensure that emails from EES are not filtered into your spam folder. To do this, click here.
Are you a new EES user? Please select register from the menu at the top and enter the requested information.
Are you an existing EES user for this journal? If you are already registered as an author or a reviewer, please do not register again. Select log in from the menu at the top, enter your username and password and then click the appropriate log in button. If your email or other address details change, you can update your EES account by selecting "change details" after you log in.
Are you an author and reviewer for our journal? You will be able to perform both these activities with your one EES account. Select log in from the menu at the top and enter your username and password. Then click the Author or Reviewer Login button, whichever is relevant to the work you wish to undertake.
Have you previously registered on this site but now forgotten your password? Simply click Send Username/Password. Enter your first name, last name and email address in the popup window that appears and click "Send Username and Password". EES will then email you your username and password.
Do you wish to change your username or password? Simply log in to EES and select "change details".
Support information
Technical problems or questions:
For all technical queries please contact Support.

Customer support is available 24/7:
Please use our EES help site at: http://epsupport.elsevier.com/ Here you will be able to learn more about EES via interactive tutorials, explore a range of EES solutions via our knowledgebase, and find answers to frequently asked questions. You will also find our 24/7 support contact details should you need any assistance from one of our customer service representatives.

Questions on submission and reviewing process:
Please contact the Editorial Office.

NB. You will need Adobe Acrobat Reader to view files created by this system. Click here to download this free software.
Author Information
Journal Information
Guide for Authors
Tutorial for Authors
Artwork Guidelines
Copyright Information
EES Retention Policy
Funding Bodies Compliance
Authors' Home
Reviewer Information
Tutorial for Reviewers
Reviewers' Home
Editor Information
Editors' Home
Support & Training Information
Technical Problems or Questions
Questions on Submission and Reviewing Process
EES Training Tutorials
Elsevier Training Desk