Published: 10th April 2015
DOI: 10.4204/EPTCS.179
ISSN: 2075-2180


Proceedings Tenth International Workshop on
Developments in Computational Models
Vienna, Austria, 13th July 2014

Edited by: Ugo Dal Lago and Russ Harmer

Ugo Dal Lago and Russ Harmer
Propositional Logics Complexity and the Sub-Formula Property
Edward Hermann Haeusler
Cellular Automata are Generic
Nachum Dershowitz and Evgenia Falkovich
A Simple Parallel Implementation of Interaction Nets in Haskell
Wolfram Kahl


This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic.

Several new models of computation have emerged in the last 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 include all abstract models of computation and their applications to the development of programming languages and systems. This includes (but is not limited to):

The Programme Committee selected eight papers for presentation at DCM 2014. In addition, the programme included invited talks by Ian Mackie (Numeral Systems in the Lambda Calculus) and Michele Pagani (Quantitative semantics for higher-order probabilistic and quantum computation). After the workshop, authors were invited to submit a version for the proceedings that were refereed again. Three papers were selected, and are included in this volume.

Many people helped to make DCM 2014 a success. In particular, we wish to thank the VSL organisation team. We are also grateful to the external referees for their careful and efficient work in the reviewing process, and in particular the programme committee members: Nachum Dershowitz, Joerg Endrullis, Jérôme Feret, Jasmin Fisher, Radu Mardare, Damian Markham, Elvira Mayordomo, Benoît Valiron, and Daniele Varacca.

Ugo Dal Lago and Russ Harmer
DCM 2014 co-chairs