To view the PDF file linked above, you will need Adobe Acrobat Reader.
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science (MSCS) is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers or broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. The journal also welcomes applications to computing based on the use of specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results.
The use of logic, categorical or algebraic language just as a unifying tool for a variety of applications is appreciated, in particular if linked with relevant experimental activity. The journal will also accept contributions in new interdisciplinary fields bridging computer science, quantum physics, mathematics and information theory. In particular, papers on quantum information processing and communication, as well as on the related issues in quantum language design will be considered.
The purpose of the journal is to increase the circulation of new very high standard results in fast growing areas which are currently influencing various aspects of actual computing. Indeed, this journal is not meant to be only a ‘theory journal’ but, by choosing as a theme the use of mathematical methods of Computer Science independently of their area of application, it aims to highlight connections among different topics and to encourage applications of theoretical contributions.
In order to promote the use of methods from mathematics and physics in computer science, expository and introductory papers are also welcome, with the specific aim of turning the (sometimes excessively) technical jargon of specialized communities to a commonly understood language for as many working computer scientists as possible. Articles in other areas of pure mathematics may be considered as well provided that there is a clear connection to computational issues or they investigate mathematical structures whose relevance to computer science is well established. However, these contributions should be directed to the broad audience of computer scientists to which this journal is addressed. Equally, discussions of methodological or philosophical nature concerning the foundation of Computer Science are of interest for the journal.
Submission of manuscripts
Papers must be submitted as a PDF via the following online submission system:
After a paper has been accepted for publication, authors should also use this system to upload the final pdf of the accepted version of their paper and the source files that were used to create it.
The paper should be accompanied by the author’s address, telephone, fax number, and email address.
Submission of a paper is taken to imply that it has not been previously published and that it is not being considered for publication elsewhere. Upon acceptance of a paper, the author will be asked to transfer copyright to the publisher.
If the author has not included a LaTeX version of their paper at the point of submission, this must be uploaded through the online submission system at the point of acceptance.
The publisher requires submission of papers written in LaTeX, possibly using the MSCS LaTeX style file which can be found here.
This zip file contains readme.txt, mscs.sty, mscguid.tex, and a concatenated file called mscs.all containing the other three files. If you Tex mscguid.tex you will get a full set of instructions for using the style file. In case of difficulties obtaining these files, there is a help-line available via e-mail; please contact email@example.com. While use of the MSCS LaTeX style file is preferred, ordinary LaTeX or plain TeX files can also be accepted.
Layout of manuscripts
Papers should be typewritten in double spacing throughout, on one side of the paper. Please avoid footnotes if possible. Papers should begin with an abstract of not more than 300 words and should end with a brief concluding section.
Figures should be drawn in black ink on good quality white paper or produced by computer to comparable quality. Wherever possible they will be reproduced with the author’s original lettering. Originals of figures should not be sent until the paper has been accepted. A list of captions should be attached separately.
For items in propositions or other numbered lists, (1), (2), (3) should be used rather than 1., 2., 3. Where absolutely necessary to avoid ambiguity, (a), (b), (c) or (i), (ii), (iii) may be used instead.
The Harvard system of references should be used. In the text, a reference should be quoted by the author’s name and date in parentheses, in date order, e.g. (Smith 1983; Jones and Jones 1985; Hunter 1986a,b). Where there are three or more authors, the first name followed by et al. should be used. A full list of references should be given at the end of the main text, listing, in alphabetical order, surname of author and initials; year of publication (in parentheses); article title; journal name abbreviated in accordance with the World List of Scientific Periodicals (4th edn); volume number; inclusive page numbers. For books and conference proceedings, place of publication and publisher (and Editor(s) if appropriate) should be included.
You may acknowledge individuals or organisations that provided advice, support (non-financial). Formal financial support and funding should be listed in the following section.
Please provide details of the sources of financial support for all authors, including grant numbers. For example, "This work was supported by the Medical research Council (grant number XXXXXXX)". Multiple grant numbers should be separated by a comma and space, and where research was funded by more than one agency the different agencies should be separated by a semi-colon, with "and" before the final funder. Grants held by different authors should be identified as belonging to individual authors by the authors’ initials. For example, "This work was supported by the Wellcome Trust (A.B., grant numbers XXXX, YYYY), (C.D., grant number ZZZZ); the Natural Environment Research Council (E.F., grant number FFFF); and the National Institutes of Health (A.B., grant number GGGG), (E.F., grant number HHHH)". Where no specific funding has been provided for research, please provide the following statement: "This research received no specific grant from any funding agency, commercial or not-for-profit sectors."
Conflict of interest
Please provide details of all known financial, professional and personal relationships with the potential to bias the work. Where no known conflicts of interest exist, please include the following statement: "None."
Typographical or factual errors only may be changed at proof stage. The publisher reserves the right to charge authors for correction of non-typographical errors. No page charge is made.
Offprints may be purchased from the publisher if ordered at proof stage.
Cambridge Language Editing Service
We suggest that authors whose first language is not English have their manuscripts checked by a native English speaker before submission. This is optional but will help to ensure that any submissions that reach peer review can be judged exclusively on academic merit. We offer a Cambridge service which you can find out more about here, and suggest that authors make contact as appropriate. Please note that use of language editing services is voluntary and at the author’s own expense. Use of these services does not guarantee that the manuscript will be accepted for publication nor does it restrict the author to submitting to a Cambridge-published journal.