[TYPES] CFP: Developments on Computational Models (satellite of ICALP 05)

[Maribel Fernandez]

======================================================================
                         Call for Papers
                     
                 Developments in Computational Models
             http://www.dcs.kcl.ac.uk/events/DCM/index.html

                           Lisbon, Portugal
                         Sunday, 10 July 2005

                     A satellite event of ICALP 2005
=======================================================================



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.

The aim of this workshop is to bring together researchers who are
currently developing new computational models or new features for
traditional computational models, in order to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
this area.

DCM 2005 will be a one-day satellite event of ICALP 2005.

Topics of interest include all abstract models of computation and their
applications to the development of programming languages and systems.
For instance:
  Functional calculi: lambda-calculus, rho-calculus, term and graph 
rewriting;
  Object calculi;
  Interaction-based systems: interaction nets, games;
  Concurrent models: process calculi, action graphs;
  Calculi expressing locality, mobility, and active data;
  Quantum computational models;
  Biological or chemical models of computation.


Submissions and Publication:

Please submit an abstract (max. 5 pages) in
PDF/PostScript format by e-mail to dcm at dcs.kcl.ac.uk by

                 9 May, 2005.

After the workshop authors will be invited to submit a full paper of
their presentation. Accepted contributions will appear in a special
issue of the international journal Mathematical Structures in Computer
Science.

Important Dates:

Submission Deadline for Abstracts: 9 May 2005
Notification: 30 May 2005
Pre-proceedings version due: 27 June 2005
Submission Deadline for Special Issue of MSCS: 15 October 2005
Notification: 15 January 2006

Programme Committee:

Vincent Danos, CNRS and University of Paris 7 (France)
Mariangiola Dezani, University of Torino (Italy)
Maribel Fernandez, King's College London (UK), co-chair
Claude Kirchner, LORIA and INRIA (France)
Cosimo Laneve, University of Bologna (Italy)
Ian Mackie, King's College London (UK), co-chair
Nobuko Yoshida, Imperial College London (UK)

Local Organizer:
Jorge Sousa Pinto, University of Minho (Portugal)