Developments in Computational Models

International Workshop on Developments in Computational Models
DCM 2005

Lisbon, Portugal - 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.

Topics of Interest

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

Programme

Photos of the event are here

Submissions and Publication

Preliminary ENTCS proceedings are online here.

Authors are now invited to submit a full paper of their presentation. Accepted contributions will appear in a special issue of the international journal of Mathematical Structures in Computer Science.

Important Dates

Final ENTCS proceedings: 15 September 2005
Submission Deadline for Special Issue of MSCS: 15 October 2005
Notification: 15 January 2005

Programme Committee

Vincent Danos University of Paris 7 (France)
Mariangiola Dezani University of Torino (Italy)
Maribel Fernández 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)

Contact

Maribel Fernandez
Department of Computer Science, King's College London
Strand, London WC2R 2LS, UK

E-mail: maribel at dcs.kcl.ac.uk
Phone: +44 20 7848 2499 Fax: +44 20 7848 2851
Home page: http://www.dcs.kcl.ac.uk/staff/maribel/