[TYPES/announce] Call For Papers: DCM 2006 at ICALP

Ian Mackie ian.mackie at kcl.ac.uk
Wed Mar 15 08:25:07 EST 2006


======================================================================
Call for Papers

DCM 2006

2nd International Workshop on Developments in Computational Models
http://www.dcm-workshop.org.uk/2006
Venice, Italy
16 July 2006

A satellite event of ICALP 2006
=======================================================================

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 2006 will be a one-day satellite event of ICALP 2006
related to TRACK B, which will take place in Venice, 2006. The first
DCM workshop took place in Lisbon in 2005, as a 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:

Authors are invited to submit an abstract (max. 5 pages) by e-mail to
dcm at lix.polytechnique.fr by 30 April 2006. Preliminary proceedings
will be available at the workshop. Submissions should be in PostScript
or PDF format, using ENTCS style files.

After the workshop authors are invited to submit a full paper of their
presentation. Accepted contributions will appear in an issue of
Elsevier's Electronic Notes in Theoretical Computer Science.

Important Dates:

Submission Deadline for Abstracts: 30 April 2006
Notification: 21 May 2006
Pre-proceedings version due: 11 June 2006
Workshop 16 July 2006

Programme Committee:

Jos Baeten, Eindhoven University of Technology, The Netherlands
Horatiu Cirstea, LORIA, France
Mariangiola Dezani, University of Torino, Italy
François Fages, INRIA, France
Mario Florido, University of Porto, Portugal
Simon Gay, University of Glasgow, UK
Radha Jagadeesan, DePaul University, USA
Jean-Pierre Jouannaud, Ecole Polytechnique, France (Co-Chair)
Ian Mackie, Ecole Polytechnique and King's College London (Co-Chair)
Herbert Wiklicky, Imperial College London, UK





More information about the Types-announce mailing list