DCM - Developments in Computational Models

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 series of workshops 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.

Steering Committee

  • S. Barry Cooper
  • Vincent Danos
  • Mariangiola Dezani
  • Maribel Fernández
  • Jean-Pierre Jouannaud
  • Ian Mackie
  • Current event

    Details of DCM 2016 can be found here.

    Past events

    Publications

    Proceedings

    Journal Special issues

    Ian Mackie