Proceedings 8th International Workshop on
Edited by: Benedikt Löwe and Glynn Winskel
Developments in Computational Models
Cambridge, United Kingdom, 17 June 2012
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.
- Martin Escardo (Birmingham, United Kingdom). The intrinsic topology of the universe in intuitionistic type theory.
- Arno Pauly (Cambridge, United Kingdom) and Matthew de Brecht (Kyoto, Japan). Non-deterministic computation and the Jayne-Rogers Theorem.
- Aleks Kissinger (Oxford, United Kingdom), Alex Merry (Oxford, United Kingdom) and Matvey Soloviev (Cambridge, United Kingdom).
Pattern Graph Rewrite Systems.
- Abeer Al-Humaimeedy (Riyadh, Saudi Arabia) and Maribel Fernández (London, United Kingdom).
General Dynamic Recovery for Compensating CSP.
- Sam Sanders (Gent, Belgium). Algorithm and Proof as Ω-invariance and Transfer: A new model of computation in Nonstandard Analysis.
- Michael Gabbay (London, United Kingdom). An explicit, and very simple, construction of a model of untyped λ-equality.
- Luca Cardelli (Cambridge, United Kingdom).
- Benedek Nagy (Debrecen, Hungary) and Sándor Vályi (Nyíregyháza, Hungary). Computing discrete logarithm by interval-valued paradigm.
- Miklos Bartha (St. John's, Canada). Quantum Turing Automata.
- Eugen Jiresch (Vienna, Austria). Towards a GPU-based Implementation of Interaction Nets.
- Ed Blakey (Bristol, United Kingdom). Ray Tracing—Computing the Uncomputable?.
- Elvira Mayordomo (Zaragoza, Spain). Fractal techniques in information theory.
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.