Call for Papers
Developments in Computational Models
http://www.dcs.kcl.ac.uk/events/DCM/index.html
Lisbon, Portugal
Sunday, 10 July 2005A 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 [EMAIL PROTECTED] 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)
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
