Journal Information
Theoretical Computer Science
Impact Factor:

Call For Papers
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.

Any queries about submissions and peer review should be addressed to the TCS editorial office:

Papers published in Theoretical Computer Science are grouped in three sections according to their nature. The first 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 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,`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, '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.
Last updated by Dou Sun in 2017-02-06
Special Issues
Special Issue on Graph Searching: Theory and Applications
Submission Date: 2017-10-30

Manuscripts are solicited for a special issue in the journal "Theoretical Computer Science" (TCS) on the topic "Theory and Applications of Graph Searching". The scope of the issue is inspired by, but not limited to papers presented in the 8th International Workshop on Graph Searching: Theory and Algorithms (GRASTA 2017). Graph searching involves a team of mobile agents (called searchers or pursuers or cops) that aims at capturing a set of escaping agents (called evaders or fugitives or robbers) that hide in a network which may be modeled by a graph. Many variants of graph searching have been studied in the literature, such as pursuit-evasion games or cops and robbers games. These variants are either application driven, i.e., motivated by settings of practical interest, or are inspired by foundational issues at the intersection of Computer Science, Discrete Mathematics, and Artificial Inteligence. As a result, graph searching has attracted significant interest from different areas of Mathematics, Computer Science and Operations Research. With this Special Issue, we aim to further foster research in the area of Graph Searching by presenting recent results and directions for future research. The purpose of the Special Issue is to highlight recent research both from the applied and the theoretical point of view. Topics of interest include (but are not limited to) the following: - Graph Searching and Logic - Graph Parameters Related to Graph Searching - Graph Searching and Robotics - Conquest and Expansion Games - Search, Patrolling and Surveillance Games - Graph Searching and Robotics - Conquest and Expansion Games - Database Theory and Robber and Marshals Games - Probabilistic Techniques in Graph Searching - Monotonicity and Connectivity in Graph Searching - New Variants and Performance Measures of Graph Searching - Graph Searching and Distributed Computing - Graph Searching and Network Security - Searching on Unbounded Domains
Last updated by Dou Sun in 2017-06-18
Related Publications
Related Journals
CCFFull NameImpact FactorPublisherISSN
IET Radar, Sonar & Navigation1.099IET1751-8784
Security Informatics Springer2190-8532
Engineering Analysis with Boundary Elements1.862ELSEVIER0955-7997
Ethics and Information Technology0.497Springer1388-1957
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bMathematical Structures in Computer Science Cambridge University Press0960-1295
Artificial Intelligence and Law Springer0924-8463
Bioprocess and Biosystems Engineering Bioprocess and Biosystems Engineering0.383Springer1615-7591
cInternational Journal of Geographical Information Science2.065Taylor & Francis1365-8816
International Journal of Speech Technology Springer1381-2416
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a2LICSIEEE Symposium on Logic in Computer Science2018-01-242018-03-312018-07-09
ICCSITInternational Conference on Computer Science and Information Technology2016-10-152016-11-052016-12-07
bb2DLTInternational Conference on Developments in Language Theory2015-03-232015-04-272015-07-27
IDCSInternational Conference on Internet and Distributed Computing Systems2017-08-302017-10-102017-12-11
b3ICWLInternational Conference on Web-based Learning2017-05-022017-06-082017-09-20
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2016-12-012017-03-012017-06-19
MELECONMediterranean Electrotechnical Conference2015-10-302015-11-302016-04-18
bICWITSInternational Conference on Wireless Information Technology and Systems2012-04-01 2012-07-29
bLISALarge Installation System Administration Conference2015-04-202015-06-052015-11-08
SCNSSmart Cloud Networks & Systems Conference2016-09-102016-10-152016-12-19