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

Maribel Fernandez maribel at dcs.kcl.ac.uk
Thu Aug 25 07:43:29 EDT 2005


Mathematical Structures in Computer Science


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:


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.

More information about the Types-list mailing list