Physics and Computation

2009

September 7-11th 2009

Ponta-Delgada, Azores, Portugal

## Main.Programme History

Hide minor edits - Show changes to markup

- Session 1: Chair Olivier Bournez.

- Session 1:
- 10:30-11:30 : Pablo Arrighi,
*The quest towards universal physical phenomena*, Abstract

- 10:30-11:30 : Pablo Arrighi,
- Session 2: Chair Olivier Bournez.

- Session 2: Chair Gilles Dowek.

- Session 3: Chair Gilles Dowek.

- Session 3: Chair Cristian Calude

- Session 4: Chair Cristian Calude

- Session 4: Chair Daniel Graça.

- Session 5: Chair Daniel Graça.

- Session 5: Chair Damien Woods
- 10:30-11:30 : Pablo Arrighi,
*The quest towards universal physical phenomena*, Abstract

- 10:30-11:30 : Pablo Arrighi,

- Session 6: Chair Damien Woods

- Session 6: Chair Nachum Dershowitz.

- Session 7: Chair Nachum Dershowitz.

- Session 7: Chair Jérome Durand-Lose (to be confirmed).

- Session 8: Chair Jérome Durand-Lose.

- 15:00-15:30 : Karl Svolzil,
*Proposed direct test of quantum contextuality*, Submission

- 15:00-15:30 : Karl Svolzil,

- 15:00-15:30 : Karl Svolzil,
*Proposed direct test of quantum contextuality*, Paper

- 15:00-15:30 : Karl Svolzil,

- 17:30-18:30 : Stephen Wolfram

- 17:30-18:30 : Stephen Wolfram,
*Mining the Computational Universe*

- 17:30-18:30 : Stephen Wolfram,

- 16:30-17:30 : Oron Shagrir

- 16:30-17:30 : Oron Shagrir,
*Accelerating Turing machines don't compute the uncomputable*

- 16:30-17:30 : Oron Shagrir,

- 11:30-12:00 : Alastair A. Abbott,
*The Deutsch-Jozsa Problem: De-quantization and Entanglement*, Submission

- 11:30-12:00 : Alastair A. Abbott,

- 11:30-12:00 : Alastair A. Abbott,
*The Deutsch-Jozsa Problem: De-quantization and Entanglement*, Paper

- 11:30-12:00 : Alastair A. Abbott,

- 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon,
*Spatial search using discrete quantum walks*, Submission

- 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon,

- 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon,
*Spatial search using discrete quantum walks*, Paper

- 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon,

- 15:00-15:30 : Walid Gomaa,
*A Survey of Recursive Analysis and Moore’s Notion of Real Computation*, Submission

- 15:00-15:30 : Walid Gomaa,

- 15:00-15:30 : Walid Gomaa,
*A Survey of Recursive Analysis and Moore’s Notion of Real Computation*, Paper

- 15:00-15:30 : Walid Gomaa,

- Session 4: Chair Nachum Dershowitz

- Session 4: Chair Daniel Graça.

- Session 6: Chair Daniel Graça.

- Session 6: Chair Nachum Dershowitz.

- Session 6: Chair Jérome Durand-Lose (to be confirmed).

- Session 6: Chair Daniel Graça.

- Session 7: Chair Daniel Graça

- Session 7: Chair Jérome Durand-Lose (to be confirmed).

- Session 6:

- Session 6: Chair Jérome Durand-Lose (to be confirmed).

- 11:30-12:00 : Alastair A. Abbott,
*The Deutsch-Jozsa Problem: De-quantization and Entanglement*, Submission

- 11:30-12:00 : Alastair A. Abbott,
*The Deutsch-Jozsa Problem: De-quantization and Entanglement*, Submission

- 11:30-12:00 : Alastair A. Abbott,

- Session 1:

- Session 1: Chair Olivier Bournez.

- Session 2:

- Session 2: Chair Gilles Dowek.

- Session 3:

- Session 3: Chair Cristian Calude

- Session 4:

- Session 4: Chair Nachum Dershowitz

- Session 5:

- Session 5: Chair Damien Woods

- Session 7:

- Session 7: Chair Daniel Graça

- 14:00-15:00 : Mathieu Hoyrup

- 14:00-15:00 : Mathieu Hoyrup,
*Dynamical systems: unpredictability vs incomputability.*, Abstract

- 14:00-15:00 : Mathieu Hoyrup,

- 11:30-12:30 : Gergely Székely, Péter Néméti, and Judit Madarász, ''Logical Foundation and Introduction for Relativity Theory (and for

relativistic computing)'', Abstract

- 11:30-12:30 : Gergely Székely, Péter Néméti, and Judit Madarász,
*Logical Foundation and Introduction for Relativity Theory (and for relativistic computing)*, Abstract

- 11:30-12:30 : Gergely Székely, Péter Néméti, and Judit Madarász,

- 10:30-11:30 : Jiri Wiedermann,
*Amorphous Computing Systems*, Abstract - 11:30-12:30 : Gergely Székely, Péter Néméti, and Judit Madarász, ''Logical Foundation and Introduction for Relativity Theory (and for

- Session 3:
- 10:30-11:30 : Jiri Wiedermann,
*Amorphous Computing Systems*, Abstract - 11:30-12:30 : Gergely Székely, Péter Néméti, and Judit Madarász, ''Logical Foundation and Introduction for Relativity Theory (and for

- 10:30-11:30 : Jiri Wiedermann,

- 14:00-16:00 & 16:30-18:30 : Tutorial, Hajnal Andréka, Judit Madarász, Péter Németi, and Gergely Székely

- Session 4:
- 14:00-16:00 & 16:30-18:30 : Tutorial, Hajnal Andréka, Judit Madarász, Péter Németi, and Gergely Székely

- 10:30-11:30 : Pablo Arrighi,
*The quest towards universal physical phenomena*, Abstract

- Session 5:
- 10:30-11:30 : Pablo Arrighi,
*The quest towards universal physical phenomena*, Abstract

- 10:30-11:30 : Pablo Arrighi,

- 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon,
*Spatial search using discrete quantum walks*, Submission

- 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon,
*Spatial search using discrete quantum walks*, Submission

- 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon,

- 10:30-11:30 : Jozef Gruska,
*Informatic and physics as two windows to explore the world*, Abstract - 11:30-12:30 : Kohtaro Tadaki,
*A statistical mechanical interpretation of algorithmic information theory*, Abstract - 14:00-15:00 : Mathieu Hoyrup
- 15:00-15:30 : Walid Gomaa,
*A Survey of Recursive Analysis and Moore’s Notion of Real Computation*, Submission - 15:30-16:00 : Naya Nagy, Selim G. Akl,
*Time-Sensitive Computational Models with a Dynamic Time Component*, Paper

- Session 6:
- Session 7:
- 14:00-15:00 : Mathieu Hoyrup
- 15:00-15:30 : Walid Gomaa,
*A Survey of Recursive Analysis and Moore’s Notion of Real Computation*, Submission - 15:30-16:00 : Naya Nagy, Selim G. Akl,
*Time-Sensitive Computational Models with a Dynamic Time Component*, Paper

- 14:00-15:00 : Ben de Lacy Costello,
*Computing using the BZ reaction - collision based gates to glider gun like structures*, Abstract - 15:00-15:30 : Karl Svolzil,
*Proposed direct test of quantum contextuality*, Submission - 16:30-17:30 : Oron Shagrir
- 17:30-18:30 : Stephen Wolfram

- Session 1:
- 14:00-15:00 : Ben de Lacy Costello,
*Computing using the BZ reaction - collision based gates to glider gun like structures*, Abstract - 15:00-15:30 : Karl Svolzil,
*Proposed direct test of quantum contextuality*, Submission

- 14:00-15:00 : Ben de Lacy Costello,
- Session 2:
- 16:30-17:30 : Oron Shagrir
- 17:30-18:30 : Stephen Wolfram

- 11:30-12:30 : Székely, Néméti, and Madarász
- 14:00-16:00 & 16:30-18:30 : Tutorial, Hajnal Andréka, Madarász, Németi, Németi, and Székely

relativistic computing)'', Abstract

- 14:00-16:00 & 16:30-18:30 : Tutorial, Hajnal Andréka, Judit Madarász, Péter Németi, and Gergely Székely

- 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, Madarász, Németi, Németi, and Székely

- 14:00-16:00 & 16:30-18:30 : Tutorial, Hajnal Andréka, Madarász, Németi, Németi, and Székely

- 16:30-17:30 : Shagrir
- 17:30-18:30 : Wolfram

- 16:30-17:30 : Oron Shagrir
- 17:30-18:30 : Stephen Wolfram

- 15:00-15:30 : Svolzil

- 15:00-15:30 : Karl Svolzil,
*Proposed direct test of quantum contextuality*, Submission

- 12:00-12:30 : Lovett, Mosby, Stockton, and Kendon,

- 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon,
*Spatial search using discrete quantum walks*, Submission

- 15:00-15:30 : Walid Gomaa

- 15:00-15:30 : Walid Gomaa,
*A Survey of Recursive Analysis and Moore’s Notion of Real Computation*, Submission

- 11:30-12:00 : Alastair A. Abbott,
*The Deutsch-Jozsa Problem: De-quantization and Entanglement*, Submission?

- 11:30-12:00 : Alastair A. Abbott,
*The Deutsch-Jozsa Problem: De-quantization and Entanglement*, Submission

- 11:30-12:00 : Abbott

- 11:30-12:00 : Alastair A. Abbott,
*The Deutsch-Jozsa Problem: De-quantization and Entanglement*, Submission?

- 14:00-15:00 : Hoyrup
- 15:00-15:30 : Gomaa

- 14:00-15:00 : Mathieu Hoyrup
- 15:00-15:30 : Walid Gomaa

- 14:00-15:00 : Costello

- 14:00-15:00 : Ben de Lacy Costello,
*Computing using the BZ reaction - collision based gates to glider gun like structures*, Abstract

- 10:30-11:30 : Wiedermann

- 10:30-11:30 : Jiri Wiedermann,
*Amorphous Computing Systems*, Abstract

- 15:30-16:00 : Naya Nagy, Selim G. Akl,
*Time-Sensitive Computational Models with a Dynamic Time Component*, Paper

- 15:30-16:00 : Naya Nagy, Selim G. Akl,
*Time-Sensitive Computational Models with a Dynamic Time Component*, Attach:NayaNagySelimGAkl

- 15:30-16:00 : Nagy, Akl

- 15:30-16:00 : Naya Nagy, Selim G. Akl,
*Time-Sensitive Computational Models with a Dynamic Time Component*, Attach:NayaNagySelimGAkl

- 10:30-11:30 : Gruska

- 10:30-11:30 : Jozef Gruska,
*Informatic and physics as two windows to explore the world*, Abstract

- 11:30-12:30 : Kohtaro Tadaki,
*A statistical mechanical interpretation of algorithmic information theory*

- 11:30-12:30 : Kohtaro Tadaki,
*A statistical mechanical interpretation of algorithmic information theory*, Abstract

- 10:30-11:30 : Pablo Arrighi,
*The quest towards universal physical phenomena.*, Abstract

- 10:30-11:30 : Pablo Arrighi,
*The quest towards universal physical phenomena*, Abstract

- 11:30-12:30 : Tadaki

- 11:30-12:30 : Kohtaro Tadaki,
*A statistical mechanical interpretation of algorithmic information theory*

- 10:30-11:30 : Pablo Arrighi
*The quest towards universal physical phenomena.*- Abstract

- 10:30-11:30 : Pablo Arrighi,
*The quest towards universal physical phenomena.*, Abstract

---

## Abstracts

- 15:30-16:00 : Nagy, Akl

- 15:30-16:00 : Nagy, Akl

---

- 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, * Madarász, Németi, Németi, and Székely

- 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, Madarász, Németi, Németi, and Székely

- 10:30-11:30 : Arrighi

- 10:30-11:30 : Pablo Arrighi
*The quest towards universal physical phenomena.*

- Tuesday 8 : 10:30-11:30 : Wiedermann
- Tuesday 8 : 11:30-12:30 : Székely, Néméti, and Madarász
- Tuesday 8 : 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, * Madarász, Németi, Németi, and Székely
- Wednesday 9 : 10:30-11:30 : Arrighi
- Wednesday 9 : 11:30-12:00 : Abbott
- Wednesday 9 : 12:00-12:30 : Lovett, Mosby, Stockton, and Kendon,
- Thursday 10 : 10:30-11:30 : Gruska
- Thursday 10 : 11:30-12:30 : Tadaki
- Thursday 10 : 14:00-15:00 : Hoyrup
- Thursday 10 : 15:00-15:30 : Gomaa
- Thursday 10 : 15:30-16:00 : Nagy, Akl

- 10:30-11:30 : Wiedermann
- 11:30-12:30 : Székely, Néméti, and Madarász
- 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, * Madarász, Németi, Németi, and Székely

### Wednesday 9

- 10:30-11:30 : Arrighi
- 11:30-12:00 : Abbott
- 12:00-12:30 : Lovett, Mosby, Stockton, and Kendon,

### Thursday 10

- 10:30-11:30 : Gruska
- 11:30-12:30 : Tadaki
- 14:00-15:00 : Hoyrup
- 15:00-15:30 : Gomaa
- 15:30-16:00 : Nagy, Akl

## Monday 7

### Monday 7

- Monday 7 : 14:00-15:00 : Costello
- Monday 7 : 15:00-15:30 : Svolzil
- Monday 7 : 16:30-17:30 : Shagrir
- Monday 7 : 17:30-18:30 : Wolfram

- 15:00-15:30 : Svolzil
- 16:30-17:30 : Shagrir
- 17:30-18:30 : Wolfram

### Tuesday 8

## Monday 7

- 14:00-15:00 : Costello

Monday 7 : 14:00-15:00 : Costello Monday 7 : 15:00-15:30 : Svolzil Monday 7 : 16:30-17:30 : Shagrir Monday 7 : 17:30-18:30 : Wolfram

Tuesday 8 : 10:30-11:30 : Wiedermann Tuesday 8 : 11:30-12:30 : Székely, Néméti, and Madarász Tuesday 8 : 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, Madarász, Németi, Németi, and Székely

Wednesday 9 : 10:30-11:30 : Arrighi Wednesday 9 : 11:30-12:00 : Abbott Wednesday 9 : 12:00-12:30 : Lovett, Mosby, Stockton, and Kendon,

Thursday 10 : 10:30-11:30 : Gruska Thursday 10 : 11:30-12:30 : Tadaki Thursday 10 : 14:00-15:00 : Hoyrup Thursday 10 : 15:00-15:30 : Gomaa Thursday 10 : 15:30-16:00 : Nagy, Akl

- Monday 7 : 14:00-15:00 : Costello
- Monday 7 : 15:00-15:30 : Svolzil
- Monday 7 : 16:30-17:30 : Shagrir
- Monday 7 : 17:30-18:30 : Wolfram
- Tuesday 8 : 10:30-11:30 : Wiedermann
- Tuesday 8 : 11:30-12:30 : Székely, Néméti, and Madarász
- Tuesday 8 : 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, * Madarász, Németi, Németi, and Székely
- Wednesday 9 : 10:30-11:30 : Arrighi
- Wednesday 9 : 11:30-12:00 : Abbott
- Wednesday 9 : 12:00-12:30 : Lovett, Mosby, Stockton, and Kendon,
- Thursday 10 : 10:30-11:30 : Gruska
- Thursday 10 : 11:30-12:30 : Tadaki
- Thursday 10 : 14:00-15:00 : Hoyrup
- Thursday 10 : 15:00-15:30 : Gomaa
- Thursday 10 : 15:30-16:00 : Nagy, Akl

This page will exist soon.

Follow for now the instructions on the web site of UC 2009

Monday 7 : 14:00-15:00 : Costello Monday 7 : 15:00-15:30 : Svolzil Monday 7 : 16:30-17:30 : Shagrir Monday 7 : 17:30-18:30 : Wolfram

Tuesday 8 : 10:30-11:30 : Wiedermann Tuesday 8 : 11:30-12:30 : Székely, Néméti, and Madarász Tuesday 8 : 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, Madarász, Németi, Németi, and Székely

Wednesday 9 : 10:30-11:30 : Arrighi Wednesday 9 : 11:30-12:00 : Abbott Wednesday 9 : 12:00-12:30 : Lovett, Mosby, Stockton, and Kendon,

Thursday 10 : 10:30-11:30 : Gruska Thursday 10 : 11:30-12:30 : Tadaki Thursday 10 : 14:00-15:00 : Hoyrup Thursday 10 : 15:00-15:30 : Gomaa Thursday 10 : 15:30-16:00 : Nagy, Akl

This page will exist soon.

This page will exist soon.

Follow for now the instructions on the web site of UC 2009

This page will exist soon.