icalp-logo ICALP_logo-DCM

16 July 2006, S. Servolo, Venice - Italy

This call for papers is also available as a PostScript file.

New: Programme

New: Pre-Proceedings (PDF)

Registration: see ICALP 2006 Registration

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 top

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: 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 top

Authors are invited to submit an abstract (max. 5 pages) by e-mail to dcm@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 top

Submission Deadline for Extended Abstracts: 30 April 2006
Notification: 21 May 2006
Pre-proceedings version due: 11 June, 2006
Workshop: 16 July, 2006
Submission Deadline for ENTCS Proceedings (max 24 pages): 15 September, 2006
Notification: 20 October, 2006
Final Versions: 15 January, 2007

Programme Committee top

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 École Polytechnique, France (Co-Chair)
Ian Mackie École Polytechnique and King's College London (Co-Chair)
Herbert Wiklicky Imperial College London, UK

Invited Speaker top

Maribel Fernández (King's College London): Every computable function is linear (in a sense)

Contact top

Ian Mackie

Workshop web page: http://www.dcm-workshop.org.uk/2006







venice

Valid HTML 4.01 Transitional

end