List of Journals
LMCS: Logical Methods in Computer Science
- topics: all theoretical and practical aspects of computer science related to logic in a broad sense
- editor: authors can choose
- concurrency editors: Javier Esparza, Matthew Hennessy, Prakash Panangaden, Davide Sangiorgi, Vladimiro Sassone, Scott Smolka
- managing editors: Dana S. Scott, Benjamin C. Pierce, Gordon D. Plotkin, Moshe Y. Vardi, Jiří Adámek, Stefan Milius
- refereeing: two or three referees; one resubmission allowed
- process length: paper is published within 9 months
- page limit: max. 50 pages (exceptions possible)
- style: LMCS LaTeX style (one column)
- licensing: open access journal and authors retain copyright of their papers
- established: January 2005
- published papers: 162 published papers; 128 papers on DBLP
- links: homepage, info for authors, wikipedia
SCP: Science of Computer Programming
- topics:
- editor: authors can choose
- concurrency editors: see the board
- editor-in-chief: J.A. Bergstra
- refereeing:
- reviewing process length:
- page limit: duno, seems to be around 30
- style: Elsevier LaTeX package
- licensing: copyright is transfered to Elsevier; some right remain to the authors (put the paper on a personal webpage)
- established:
- published papers: 923 on DBLP
- links: homepage (on Elsevier), Guide for Authors
TCS: Theoretical Computer Science
- topics: theoretical computer science; three sections:
- Algorithms, automata, complexity and games
- Logic, semantics and theory of programming (includes “calculi like SCP or CCS, Petri Nets, …”)
- Natural Computing
- editor:
- concurrency editors:
- editors-in-chief: Giorgio Ausiello, Don Sannella
- refereeing:
- process length: reviewing takes 4-5 months
- page limit: duno?; from published paper it seems to be 15 !!!
- style:
- licensing: copyright is transfered to Elsevier; some right remain to the authors (put the paper on a personal webpage)
- established: 1975
- published papers: 8004 on DBLP
- links: homepage (on Elsevier), Guide for Authors, wikipedia
ENTCS: Electronic Notes in Theoretical Computer Science
- topics: (mainly for conference proceedings)
- editor:
- concurrency editors: see the board
- managing editors: M.W. Mislove
- refereeing:
- reviewing process length:
- page limit:
- style: see ENTCS macro page
- licensing: copyright is transfered to Elsevier; some right remain to the authors (put the paper on a personal webpage)
- established: April 1995
- published papers: 4401 on DBLP
- links: homepage (on Elsevier), wikipedia
Other Links