Journal Information
Theoretical Computer Science (TCS)
http://www.journals.elsevier.com/theoretical-computer-science/
Impact Factor:
0.718
Publisher:
Elsevier
ISSN:
0304-3975
Viewed:
11281
Tracked:
12

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: tcs@elsevier.com.

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 2019-11-24
Related Journals
CCFFull NameImpact FactorPublisherISSN
Computer Methods and Programs in Biomedicine3.424Elsevier0169-2607
Smart Learning Environments Springer2196-7091
Electronic Notes in Theoretical Computer Science Elsevier1571-0661
PeerJ Computer SciencePeerJ Inc.2376-5992
Foundations of Computational Mathematics0.864Springer1615-3375
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bMathematical Structures in Computer Science Cambridge University Press0960-1295
Artificial Life and Robotics Springer1433-5298
Calculus of Variations and Partial Differential Equations0.851Springer0944-2669
International Journal of Applied Mathematics and Computer Science1.504Walter de Gruyter1641-876X
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
DMEEInternational Conference on Design, Mechanical and Electrical Engineering2018-04-052018-04-252018-09-07
aa*a2LICSIEEE Symposium on Logic in Computer Science2020-01-062020-04-102020-07-08
ICBCIInternational Conference on Bioinformatics and Computational Intelligence2018-05-202018-06-102018-07-28
ICCSMInternational Conference on Computer, Software and Modeling2020-05-202020-06-052020-07-17
cCSRInternational Computer Science Symposium in Russia2019-01-032019-02-252019-07-01
ICMUInternational Conference on Mobile Computing and Ubiquitous Networking2018-05-252018-07-062018-10-05
b4ICBLInternational Conference on Blended Learning2017-02-282017-03-152017-06-27
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2019-12-052020-03-092020-06-15
MicroComInternational Conference on Microelectronics, Computing and Communication2015-11-162015-12-152016-01-23
ab5eScienceIEEE International Conference On E-Science2021-04-072021-06-012021-09-20
Recommendation