[TYPES] CFP: MSCS special issue on Developments in Computational Models

[Maribel Fernandez]

CALL FOR PAPERS

Mathematical Structures in Computer Science

Special Issue on DEVELOPMENTS IN COMPUTATIONAL MODELS


Several new models of computation have emerged in the last few years,
and many developments of traditional computational models have been
proposed with the aim of taking into account the new demands of
computer systems users and the new capabilities of computation
engines. A new computational model, or a new feature in a traditional
one, usually is reflected in a new family of programming languages,
and new paradigms of software development.

Following from the success of the DCM 2005 workshop, there will be a
special issue of the Journal Mathematical Structures in Computer
Science (MSCS, Cambridge University Press) on Developments in
Computational Models.

Topics of interest include all abstract models of computation and
their applications to the development of programming languages and
systems. This includes (but is not limited to):

    * Functional calculi;
    * Object calculi;
    * Interaction-based systems;
    * Concurrent models;
    * Calculi expressing locality, mobility, and active data;
    * Quantum computational models;
    * Biological or chemical models of computation.


The call for papers is not restricted to DCM workshop participants;
also papers that were not presented at the workshop can be submitted.

Submissions should be sent electronically as a ps or pdf file
to maribel at dcs.kcl.ac.uk by 15 October 2005. Information about
the journal, including style files, can be found here:

http://www.cambridge.org/uk/journals/journal_catalogue.asp?mnemonic=MSC

Submissions will be refereed according to the usual very high
standards of MSCS. Maribel Fernandez and Ian Mackie will serve as
guest editors for this special issue. Final decisions on editorial
matters rest with the editor-in-chief of MSCS.