Published: 29th March 2014
DOI: 10.4204/EPTCS.143
ISSN: 2075-2180


Proceedings 8th International Workshop on
Developments in Computational Models
Cambridge, United Kingdom, 17 June 2012

Edited by: Benedikt Löwe and Glynn Winskel

Benedikt Löwe and Glynn Winskel
General dynamic recovery for compensating CSP
Abeer S. Al-Humaimeedy and Maribel Fernández
Quantum Turing automata
Miklós Bartha
Ray tracing — computing the incomputable?
Ed Blakey
Towards a GPU-based implementation of interaction nets
Eugen Jiresch
Pattern graph rewrite systems
Aleks Kissinger, Alex Merry and Matvey Soloviev
Effective dimension in some general metric spaces
Elvira Mayordomo
Computing discrete logarithm by interval-valued paradigm
Benedek Nagy and Sándor Vályi
Non-deterministic computation and the Jayne-Rogers Theorem
Arno Pauly and Matthew de Brecht
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis
Sam Sanders


The aim of the workshop series Developments in Computational Models (DCM) 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. The eighth workshop in the series, DCM 2012, was part of the celebrations of the Turing Centenary and was held as a satellite event of the Turing centenary conference Computability in Europe 2012 (CiE 2012) in Cambridge. It took place at Corpus Christi College in Cambridge on Sunday, 17 June 2013, the day before the excursion day of the conference CiE 2012. On the evening before DCM 2012, there was a special event, also held at Corpus Christi College, entitled Reflections on Alan Turing's Life (1912-1954) featuring a personal reflection on Turing's suicide by Robert Lubarsky (Florida International University) and the movie Codebreaker.

Our workshop had three keynote speakers: Luca Cardelli, Martin Escardo, and Elvira Mayordomo, selected by the programme committee. It received 14 submissions which were refereed by the members of the programme committee and their subreviewers (see below). Of the 14 submissions, nine were accepted for presentation and were presented at the workshop. After the workshop, the papers underwent a revision process guided by the members of the programme committee. The result of this process is the present electronic proceedings volume. The following is a list of the presentations given at the workshop (in chronological order):

We should like to thank the members of the programme committee of DCM 2012 for discussions, refereeing efforts, and the guidance in the revision process of the papers: Arnold Beckmann (Swansea University, United Kingdom), Vincent Danos (Université Paris-Diderot, France), Mariangiola Dezani (Università di Torino, Italy), Viv Kendon (Leeds University, United Kingdom), Benedikt Löwe (Universiteit van Amsterdam, The Netherlands & Universität Hamburg, Germany), Ian Mackie (École Polytechnique, France), Florin Manea (Christian-Albrechts-Universität Kiel, Germany), Dag Normann (Universitetet i Oslo, Norway), Prakash Panangaden (McGill University, Canada), Femke van Raamsdonck (Vrije Universiteit Amsterdam, The Netherlands), and Glynn Winskel (Cambridge University, United Kingdom). Furthermore, we should like to thank our subreviewers Oana Andrei, Ed Blakey, Erzsébet Csuhaj-Varjú, Matthew de Brecht, Peter Hines, Paolo Milazzo, Peter Selinger, and David Soloveichik.

The programme Semantics & Syntax at the Isaac Newton Institute for Mathematical Sciences was crucial for the success of our workshop: this research programme brought many researchers in the field of computation to Cambridge during this time and attracted many of the workshop participants. We thank the Master and the Fellows of Corpus Christi College for their hospitality during the workshop; the conference participants were personally welcomed by the Master, Stuart Laing, during the opening of the workshop. Last, but certainly not least, we thank all college staff from the porters to the catering department and in particular our main contact, Karolina Kowalczyk, who made the organization of the workshop a great pleasure.