DCM Workshop Series

Programme Committee

Call for Papers

Paper Submission
Local Information
DCM 2012
8th International Workshop on Developments in Computational Models

Programme & Schedule.

Invited Keynote Speakers.
Luca Cardelli
Microsoft Research Cambridge, United Kingdom
Martin Escardo
University of Birmingham, United Kingdom
Fractal techniques in information theory
Elvira Mayordomo
Universidad de Zaragoza, Spain

In the evening before DCM 2012 (Saturday 16 June, 6pm), there will be a special public event called Reflections on Alan Turing's Life (1912-1954) featuring a personal reflection by Bob Lubarsky and the movie Codebreaker by Patrick Sammons. The event will also be held at Corpus Christi College in the McCrum Lecture Theatre. All participants of DCM 2012 are cordially invited to attend.

Sunday, 17 June 2012
09:30-09:40 Opening
09:40-10:30 Martin Escardo (Birmingham, United Kingdom)
The intrinsic topology of the universe in intuitionistic type theory
10:30-11:00 Break
11:00-11:20 Arno Pauly (Cambridge, England) and Matthew de Brecht (Kyoto, Japan)
Non-deterministic computation and the Jayne Rogers Theorem
11:20-11:40 Aleks Kissinger (Oxford, England), Alex Merry (Oxford, England) and Matvey Soloviev (Cambridge, England)
Pattern Graph Rewrite Systems
11:40-12:00 Abeer Al-Humaimeedy (Riyadh, Saudi Arabia) and Maribel Fernandez (London, England)
General Dynamic Recovery for Compensating CSP.
12:00-12:20 Sam Sanders (Gent, Belgium)
Algorithm and Proof as Ω-invariance and Transfer: A new model of computation in Nonstandard Analysis
12:20-12:40 Michael Gabbay (London, England)
An explicit, and very simple, construction of a model of untyped λ-equality
12:40-13:50 Lunch break
13:50-14:40 Luca Cardelli (Cambridge, United Kingdom)
14:40-15:00 Break
15:00-15:20 Benedek Nagy (Debrecen, Hungary) and Sándor Vályi (Nyíregyháza, Hungary)
Computing discrete logarithm by interval-valued paradigm
15:20-15:40 Miklos Bartha (St. John's, Canada)
Quantum Turing Automata
15:40-15:55 Break
15:55-16:15 Eugen Jiresch (Vienna, Austria)
Towards a GPU-based Implementation of Interaction Nets
16:15-16:35 Ed Blakey (Bristol, England)
Ray TracingComputing the Uncomputable?
16:35-16:50 Break
16:50-17:40 Elvira Mayordomo (Zaragoza, Spain)
Fractal techniques in information theory