Computability

The Journal of the Association CiE

Impact Factor
2023
0.6
CiteScore
2023
1.5

Volume

12, 4 issues

Latest issue

12:4 online 22 December 2023

Next issue

13:1 scheduled for March 2024

Back volumes

From volume 1, 2012

ISSN print

2211-3568

ISSN online

2211-3576

Aims & Scope

Computability is the journal of the association Computability in Europe. It is a peer reviewed international journal that is devoted to publishing original research of highest quality, which is centered around the topic of computability. The subject is understood from a multidisciplinary perspective, recapturing the spirit of Alan Turing (1912-1954) by linking theoretical and real-world concerns from computer science, mathematics, biology, physics, computational neuroscience, history and the philosophy of computing.

Editorial Board

Editor-in-Chief

Vasco Brattka
Institute 1
Faculty of Computer Science
Universität der Bundeswehr München

Werner-Heisenberg-Weg 39, 85577 Neubiberg,
Germany

and

Dept. of Mathematics & Applied Mathematics
University of Cape Town, South Africa

Managing Editors

Paola Bonizzoni
Università di Milano-Bicocca
Milan, Italy

Olivier Bournez
Ecole Polytechnique
Palaiseau, France

Elvira Mayordomo
Universidad de Zaragoza
Zaragoza, Spain

Editorial Board

Rodney G. Downey
Victoria University of Wellington
Wellington, New Zealand
Rod.Downey@msor.vuw.ac.nz

Shuichi Hirahara
National Institute of Informatics
Tokyo, Japan
s_hirahara@nii.ac.jp

Hajime Ishihara
Japan Advanced Institute of Science and Technology
Ishikawa, Japan
ishihara@jaist.ac.jp

Natasha Jonoska
University of South Florida
Tampa, USA
jonoska@math.usf.edu

Ulrich Kohlenbach
Technische Universität Darmstadt
Darmstadt, Germany
kohlenbach@mathematik.tu-darmstadt.de

Alberto Marcone
Department of Mathematical, Computer and Physical Sciences
University of Udine
Udine, Italy
alberto.marcone@uniud.it

Russell Miller
City University of New York
New York, USA
Russell.Miller@qc.cuny.edu

Liesbeth de Mol
University of Lille
Lille, France
liesbeth.demol@univ-lille3.fr

Andrei Morozov
Novosibirsk State University
Novosibirsk, Russia
morozov@math.nsc.ru

André Nies
University of Auckland
Auckland, New Zealand
nies.editor@gmail.com

Ludovic Patey
Équipe de logique, IMJ-PRG
Paris, France
ludovic.patey@gmail.com

Alberto Policriti
Department of Mathematical, Computer and Physical Sciences
University of Udine
Udine, Italy
alberto.policriti@uniud.it

Giuseppe Primiero
Department of Philosophy
University of Milan
G.Primiero@mdx.ac.uk 

Andrei Romashchenko 
CNRS, LIRMM
Montpellier, France
andrei.romashchenko@lirmm.fr 

Frank Stephan
National University of Singapore
Singapore
fstephan@comp.nus.edu.sg

Vinodchandran Variyam
School of Computing
University of Nebraska – Lincoln
Lincoln, USA
vinod@unl.edu

Vlatko Vedral
University of Oxford
Oxford, UK
vlatko.vedral@qubit.org

Rineke Verbrugge
University of Groningen
Groningen, The Netherlands
L.C.Verbrugge@rug.nl

Linda Westrick
Department of Mathematics
Pennsylvania State University
University Park, PA, USA
linda.westrick@gmail.com

Ning Zhong
University of Cincinnati
Cincinnati, USA
zhongn@ucmail.uc.ed

Honorary Editor

S. Barry Cooper †
Leeds, United Kingdom

Former Editors

Samson Abramsky
University of Oxford
Oxford, United Kingdom

Manindra Agrawal
Indian Institute of Technology
Kanpur, India

Eric Allender
Rutgers University
Piscataway, USA
 
Jeremy Avigad

Carnegie Mellon University
Pittsburgh, USA

Arnold Beckmann
Swansea University
Swansea, United Kingdom

Bruno Codenotti
Istituto di Informatica e Telematica
Pisa, Italy

Stephen A. Cook
University of Toronto
Toronto, Canada
 
Anuj Dawar

University of Cambridge
Cambridge, United Kingdom

Benedikt Löwe 
University of Amsterdam
Amsterdam, The Netherlands
 
Prakash Panangaden

McGill University
Montreal, Canada

Author Guidelines

SUBMISSION OF MANUSCRIPT

By submitting my article to this journal, I agree to the Author Copyright Agreement, the IOS Press Ethics Policy, and the IOS Press Privacy Policy.

Required files
For initial submission a .pdf file of the article is sufficient. After an article has been accepted for publication an editable file of the text, such as MsWord or LateX, is required. If you are uploading a paper that has been accepted for publication or accepted pending minor revisions please upload the source files of the paper. If using LaTeX please use our LaTeX template and also send a pdf version of the LaTeX file as well as separate files of all figures (if any). LaTeX packages should be compiled into .zip or .rar files.

Authors are requested to submit their manuscript electronically to the journal's editorial management system.

Publication costs
There are no costs associated to publishing an article in Computability, it is free of any charge.

Authorship
Any author included in the author list should have contributed significantly to the paper, and no person who has made a significant contribution should be omitted from the list of authors. Please read the IOS Press authorship policy for further information.

COPYRIGHT

Copyright of your article
Authors submitting a manuscript do so on the understanding that they have read and agreed to the terms of the IOS Press Author Copyright Agreement.

Article sharing
Authors of journal articles are permitted to self-archive and share their work through institutional repositories, personal websites, and preprint servers. Authors have the right to use excerpts of their article in other works written by the authors themselves, provided that the original work is properly cited. The consent for sharing an article, in whole or in part, depends on the version of the article that is shared, where it is shared, and the copyright license under which the article is published. Please refer to the IOS Press Article Sharing Policy for further information.

Quoting from other publications
Authors, when quoting from someone else's work or when considering reproducing figures or tables from a book or journal article, should make sure that they are not infringing a copyright. Although in general authors may quote from other published works, permission should be obtained from the holder of the copyright if there will be substantial extracts or reproduction of tables, plates, or other figures. If the copyright holder is not the author of the quoted or reproduced material, it is recommended that the permission of the author should also be sought. Material in unpublished letters and manuscripts is also protected and must not be published unless permission has been obtained. Submission of a paper will be interpreted as a statement that the author has obtained all the necessary permission. A suitable acknowledgement of any borrowed material must always be made.

IOS Pre-press
This journal publishes all its articles in the IOS Press Pre-Press module. By publishing articles ahead of print the latest research can be accessed much quicker. The pre-press articles are the corrected proof versions of the article and are published online shortly after the proof is created and author corrections implemented. Pre-press articles are fully citable by using the DOI number. As soon as the pre-press article is assigned to an issue, the final bibliographic information will be added. The pre-press version will then be replaced by the updated, final version.

KUDOS
Authors of published articles (non-prepress, final articles) will be contacted by Kudos. Kudos is a service that helps researchers maximize the impact and visibility of their research. It allows authors to enrich their articles with lay metadata, add links to related materials and promote their articles through the Kudos system to a wider public. Authors will receive no more than three emails: one invitation and a maximum of two reminders to register for the service and link the published article to their profile. Using and registering for Kudos remains entirely optional. For more information, please have a look at our authors section.

HOW TO PROMOTE YOUR WORK

Would you like some pointers on how to help your research achieve a wider reach and greater impact? Please consult our Promotional Toolkit for Authors for tips.

Please visit the IOS Press Authors page for further information.

Abstracted/Indexed in

DBLP Bibliography Server
Mathematical Reviews
MathSciNet
Scopus
Web of Science: Emerging Sources Citation Index
Zentralblatt MATH

Open Access

By default, articles published in Computability are available only to institutions and individuals with access rights. However, the journal offers all authors the option to purchase open access publication for their article as part of the IOS Press Open Library. This means that the final published version will be freely available to anyone worldwide, indefinitely, under a Creative Commons license and without the need to purchase access to the article. This is also referred to as “gold” open access.

Gold open access pricing
Authors who choose gold open access publication will be subject to an article publication charge of € 1500 / US$ 1500 for publication under the CC BY-NC 4.0 license or € 2150 / US$ 2150 for publication under the CC BY 4.0 license. Pricing is exclusive of possible taxes. After an article is accepted for publication, the corresponding author will be informed regarding the open access option during the production stages, and will have the opportunity to purchase open access for their article. It could be that the open access fee of an article is waived completely due an institutional agreement IOS Press has with the corresponding authors' institution. Please check the institutional agreements page for details.

Green open access
Authors who do not make use of the gold open access option may still make their article freely available using self-archiving, also referred to as green open access. Authors may make their final accepted manuscript available for free download from their personal or institutional website or institutional archive. This model is free for the author.

Peer Review

Computability Peer Review Policy

Computability is a peer-reviewed journal. All articles submitted to the journal undergo a single blind peer review process. This means that the identity of the authors is known with the reviewers but the identity of the reviewers is not communicated to the authors. Please visit our reviewer guidelines for further information about how to conduct a review.

Each submitted article is pre-screened by the Editor-in-Chief to decide if it is suitable to be sent out for formal review. Reasons to reject a paper in the pre-screening process could for example be because the work does not fall within the aims and scope, the writing is of poor quality, the instructions to authors were not followed or the presented work is not novel.

Papers deemed suitable to be reviewed will be assigned a handling editor. The handling editor will then invite reviewers to comment on the work. Typically, a minimum of two reviews are required to be able make a decision on a paper.

Reviewers are asked to judge a paper on at least:

  • Relevance to the journal
  • Significance of results
  • Depth of results
  • Correctness of results

Clarity of presentation
Based on the received reviews the handling editor will propose to the Editor-in-Chief their recommendation:

  • Accept as is
  • Accept pending minor revisions
  • Revise and resubmit
  • Reject outright

For articles that receive a "Revise and resubmit" decision, often major revisions are required and articles may still be rejected in a second round of peer review.

Accept or reject decisions are made by the Editor-in-Chief, whose decision is final.

Extra

Newsletter: Be sure to sign up to the COM newsletter to receive alerts of new issues and other journal news. Sign up via this link: tiny.cc/COMsignup.

Latest Newsletter: You can view the latest newsletter here

Latest Articles

Discover the contents of the latest journal issue:

Preface
Takayuki Kihara, Nikolay Bazhenov, Svetlana Selivanova

On the main scientific achievements of Victor Selivanov
Takayuki Kihara, Nikolay Bazhenov, Svetlana Selivanova, Dieter Spreen

Inversion operations in algebraic structures
Pavel Alaev

Punctually presented structures I: Closure theorems
Alexander Melnikov, Marina Dorzhieva

Effectively infinite classes of numberings and computable families of reals
Zlata Shchedrikova, Marat Faizrahmanov