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: [email protected].
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. 
Theoretical Computer Science will now publish high-quality advanced introductions. Advanced introductions should cover a focused topic within the scope of TCS at a level that would be appropriate for a scientist who is new to the topic and wishes to gain an up-to-date understanding. Articles should be self-contained, including motivation and basic definitions, and proceed to advanced material and/or open problems which may - but need not - include new results. Sufficient references should be given to provide the reader with entry points to the research literature on the topic as well as the origins of the main ideas. Submissions will be judged on the quality of the content and presentation as well as the timeliness of the topic.

Papers

Editors-in-Chief
D. Sannella, - TCS-B
The University of Edinburgh School of Informatics, Edinburgh, United Kingdom Email D. Sannella, - TCS-B
L. Kari, - TCS-C
University of Waterloo, Waterloo, Ontario, Canada Email L. Kari, - TCS-C
P.G. Spirakis, - TCS-A
Computer Technology Institute and Press, Rion, Greece Email P.G. Spirakis, - TCS-A
Editors: Algorithms, Automata, Complexity and Games (TCS-A)
G. Ausiello
Università di Roma La Sapienza, Dipart. di Informatica e Sistemistica, Roma, Italy Email G. Ausiello
T. Calamoneri
University of Rome La Sapienza, Roma, Italy Email T. Calamoneri
K. Censor-Hillel
Technion Israel Institute of Technology, Haifa, Israel Email K. Censor-Hillel
M. Crochemore
King's College London, London, United Kingdom Email M. Crochemore
X. Deng
University of Liverpool, Liverpool, United Kingdom Email X. Deng
J. Díaz
Universitat Politecnica de Catalunya Department of Computer Science, Barcelona, SpainEmail J. Díaz
D.-Z. Du
University of Texas at Dallas, Richardson, Texas, United States Email D.-Z. Du
T. Erlebach
University of Leicester, Leicester, United Kingdom Email T. Erlebach
S. Fekete
Braunschweig University of Technology, Braunschweig, Germany Email S. Fekete
A. Fiat
Tel Aviv University Blavatnik School of Computer Science, Tel Aviv, Israel Email A. Fiat
A. Fink
Queen Mary University of London, London, United Kingdom Email A. Fink
F.V. Fomin
University of Bergen Department of Informatics, Bergen, Norway Email F.V. Fomin
L. Gąsieniec
University of Liverpool, Liverpool, United Kingdom Email L. Gąsieniec
R. Giancarlo
University of Palermo, Palermo, Italy Email R. Giancarlo
M.J. Golin
Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong KongEmail M.J. Golin
S.-Y. Hsieh
National Cheng Kung University, Tainan, Taiwan Email S.-Y. Hsieh
O.H. Ibarra
University of California Santa Barbara Department of Computer Science, Santa Barbara, California, United States Email O.H. Ibarra
G.F. Italiano
University of Rome Tor Vergata, Roma, Italy Email G.F. Italiano
M. Ito
Kyoto University, Kyoto, Japan Email M. Ito
C. Kaklamanis
University of Patras Agrinio Campus, Agrinio, Greece Email C. Kaklamanis
J. Karhumäki
University of Turku, TURKU, Finland Email J. Karhumäki
L.M. Kirousis
National and Kapodistrian University of Athens Department of Mathematics, ZOGRAFOS, Greece Email L.M. Kirousis
M. Kiwi
University of Chile Department of Mathematical Engineering, Santiago, Chile Email M. Kiwi
R. Klasing
University of Bordeaux, CNRS, Bordeaux, France Email R. Klasing
P. Krysta
University of Liverpool, Liverpool, United Kingdom Email P. Krysta
A. Kučera
Masaryk University, Brno, Czech Republic Email A. Kučera
M. Latapy
Sorbonne University, Paris, France Email M. Latapy
C. Lenzen
Max Planck Institute for Computer Science, Saarbrücken, Germany Email C. Lenzen
Z. Lotker
Ben-Gurion University of the Negev, Be'er Sheva, Israel Email Z. Lotker
P. Lu
Shanghai University of Finance and Economics, Shanghai, China Email P. Lu
A. Marchetti-Spaccamela
University of Rome La Sapienza, Roma, Italy Email A. Marchetti-Spaccamela
N. Ollinger
Orleans University, Orleans, France Email N. Ollinger
V.Y. Pan
Lehman College, Bronx, New York, United States Email V.Y. Pan
V. T. Paschos
Laboratory for Systems Analysis and Modelling to Aid Decision-Making, Paris Cedex 16, France Email V. T. Paschos
D. Perrin
Gaspard Monge Computer Science Laboratory, Marne La Vallee, France Email D. Perrin
G. Persiano
University of Salerno Department of Informatics, Fisciano, Italy Email G. Persiano
H. Prodinger
Stellenbosch University, Stellenbosch, South Africa Email H. Prodinger
G. Rozenberg
Leiden University Leiden Institute of Advanced Computer Science, Leiden, NetherlandsEmail G. Rozenberg
S. Saurabh, PhD
Chennai Mathematical Institute, Siruseri, India Email S. Saurabh, PhD
M.S. Sciortino
University of Palermo, Palermo, Italy Email M.S. Sciortino
S. Sen
Indian Institute of Technology Delhi, New Delhi, India Email S. Sen
P. Widmayer
Swiss Federal Institute of Technology, Zurich, Switzerland Email P. Widmayer
M.H.M. Winands
Maastricht University, Maastricht, Netherlands Email M.H.M. Winands
G. Yang
University of Wollongong, Wollongong, New South Wales, Australia Email G. Yang
Editors: Logic, Semantics and Theory of Programming (TCS-B)
P. A. Abdullah
Uppsala University, Uppsala, Sweden Email P. A. Abdullah
A. Avron
Tel Aviv University, Tel Aviv, Israel Email A. Avron
J. Davies
University of Oxford, Oxford, United Kingdom Email J. Davies
W. Fan
The University of Edinburgh, Edinburgh, United Kingdom Email W. Fan
R.J. van Glabbeek
UNSW Australia, Natl. ICT Australia, Sydney, New South Wales, Australia Email R.J. van Glabbeek
M. Hofmann
Ludwig Maximilians University Munich, Munich, Germany Email M. Hofmann
B.P.F. Jacobs
Radboud University, Nijmegen, Netherlands Email B.P.F. Jacobs
A. Jung
University of Birmingham School of Computer Science, Birmingham, United KingdomEmail A. Jung
H. Lin
Institute of Software Chinese Academy of Sciences, Beijing, China Email H. Lin
M. Mavronicolas
University of Cyprus Department of Computer Science, Lefkosia, Cyprus Email M. Mavronicolas
P.-A. Melliès
University Paris 7 Denis Diderot Faculty of Life Sciences, Paris, France Email P.-A. Melliès
M.W. Mislove
Tulane University Department of Mathematics, New Orleans, Louisiana, United StatesEmail M.W. Mislove
U. Montanari
University of Pisa, Pisa, Italy Email U. Montanari
M. Nielsen
Aarhus University, Aarhus, Denmark Email M. Nielsen
J.-F. Raskin
ULB, Bruxelles, Belgium Email J.-F. Raskin
G. Rozenberg
Leiden University Leiden Institute of Advanced Computer Science, Leiden, NetherlandsEmail G. Rozenberg
V. Sassone
University of Southampton, Southampton, United Kingdom Email V. Sassone
N. Shankar
International Computer Science Institute, Berkeley, California, United States Email N. Shankar
P. Stevens
The University of Edinburgh, Edinburgh, United Kingdom Email P. Stevens
Editors: Theory of Natural Computing (TCS-C)
T. Baeck
Leiden University, Leiden, Netherlands Email T. Baeck
W. Banzhaf
Memorial University of Newfoundland, St John's, Newfoundland and Labrador, CanadaEmail W. Banzhaf
C. Blum
Artificial Intelligence Research Institute, Bellaterra, Spain Email C. Blum
G. Brassard
University of Montreal, Montreal, Quebec, Canada Email G. Brassard
C.S. Calude
The University of Auckland, Auckland, New Zealand Email C.S. Calude
L. Cardelli
University of Oxford, Oxford, United Kingdom Email L. Cardelli
D.W. Corne
Heriot-Watt University, Edinburgh, United Kingdom Email D.W. Corne
P Degano
University of Pisa, Pisa, Italy Email P Degano
A. Dennunzio
University of Milan–Bicocca, Milano, Italy Email A. Dennunzio
B. Doerr
Computer Science Laboratory of Ecole Polytechnique, Palaiseau, France Email B. Doerr
M. Dorigo
ULB, Bruxelles, Belgium Email M. Dorigo
G. Dowek
National Research Institute for Computing and Automation, Le Chesnay, France Email G. Dowek
A.E. Eiben
VU Amsterdam, Amsterdam, Netherlands Email A.E. Eiben
S. Hallgren
Pennsylvania State University, University Park, Pennsylvania, United States Email S. Hallgren
J. Hillston
The University of Edinburgh, Edinburgh, United Kingdom Email J. Hillston
M. Hirvensalo
University of Turku, TURKU, Finland Email M. Hirvensalo
N. Jonoska
University of South Florida, Tampa, Florida, United States Email N. Jonoska
J. Kari
University of Turku, TURKU, Finland Email J. Kari
J.N. Kok
Leiden University, Leiden, Netherlands Email J.N. Kok
N. Krasnogor
Newcastle University, Newcastle Upon Tyne, United Kingdom Email N. Krasnogor
S. Miyano
The Institute of Medical Science The University of Tokyo, Minato-Ku, Japan Email S. Miyano
T. Mor
Technion Israel Institute of Technology, Haifa, Israel Email T. Mor
P. Orponen
Aalto University, Aalto, Finland Email P. Orponen
G. Paun
University of Seville, Sevilla, Spain Email G. Paun
M. Perez-Jimenez
University of Seville, Sevilla, Spain Email M. Perez-Jimenez
I. Petre
Åbo Akademi University Physics, TURKU, Finland Email I. Petre
J.E. Rowe
University of Birmingham, Birmingham, United Kingdom Email J.E. Rowe
G. Rozenberg
Leiden University Leiden Institute of Advanced Computer Science, Leiden, NetherlandsEmail G. Rozenberg
H. Siegelmann
University of Massachusetts Amherst, Amherst, Massachusetts, United States Email H. Siegelmann
A. Skowron
University of Warsaw, Warszawa, Poland Email A. Skowron
A. Sperduti
University of Padua, Padova, Italy Email A. Sperduti
J. Timmis
University of York, York, United Kingdom Email J. Timmis
C. Torras
Institute of Robotics and Industrial Informatics, Barcelona, Spain Email C. Torras
M.D. Vose
University of Tennessee, Knoxville, Tennessee, United States Email M.D. Vose
C. Witt
Technical University of Denmark, Kongens(Kgs) Lyngby, Denmark Email C. Witt
X. Yao
University of Birmingham, Birmingham, United Kingdom Email X. Yao
T. Yokomori
Waseda University, Shinjuku-Ku, Japan Email T. Yokomori
S. Zhang
Chinese University of Hong Kong Department of Computer Science and Engineering, New Territories, Hong Kong Email S. Zhang
Founding Editor
M. Nivat †
G. Rozenberg
founding Editor ‘Section C, Theory of Natural Computing'
Honorary Board
C. Böhm
E. Engeler
M.A. Harrison
Z. Manna
A.R. Meyer
M. Nivat †
F.P. Preparata
E. Shamir
R. Siromoney
O.H. Ibarra