|
|
DCM 2012
8th International Workshop on
Developments
in Computational
Models
Programme & Schedule.
Invited Keynote Speakers.
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)
TBA
|
|---|
|
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
|
|---|
|
|
Programme
Local Information
