Paper Submission


Suggested, but not exclusive, topics of interest include:

Track A (Algorithms, Complexity and Models of Computation) - analysis and design of algorithms; automata and formal languages; cellular automata and systems; combinatorial, graph and optimization algorithms; computational learning theory; computational complexity; computational geometry; cryptography; descriptive complexity; evolutionary and genetic computing; experimental algorithms; mobile computing; molecular computing and algorithmic aspects of bioinformatics; network computing; neural computing; parallel and distributed algorithms; probabilistic and randomized algorithms; quantum computing; structural information and communication complexity.

Track B (Logic, Semantics, Specification and Verification) - automata theory; automated deduction; constructive and non-standard logics in computer science; concurrency theory and foundations of distributed and mobile computing; database theory; finite model theory; formal aspects of program analysis, foundations of hybrid and real-time systems; lambda and combinatory calculi; logical aspects of computational complexity; modal and temporal logics; model checking and verification; probabilistic systems; logics and semantics of programs; foundations of security; term rewriting; specifications; type, proof and category theory in computer science.


Authors are invited to submit an extended abstract of at most 15 pages (LNCS style with at least 11-point font size) to arrive before April 27, 2014. If more space is needed, a clearly marked appendix, to be read at the discretion of the program committee, may be included if desired. Submission will be handled by EasyChair. Further information and submission details can be found on the Conference web page. Simultaneous submissions to other conferences with published proceedings are not allowed.


The conference proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science (LNCS) series. Selected papers from TCS 2014 will be invited to a special issue of the Journal Theoretical Computer Science.