Physics and Computation
2009

September 7-11th 2009
Ponta-Delgada, Azores, Portugal







Recent Changes- Printable Version - Search:



 

Main.Programme History

Show minor edits - Show changes to markup

September 29, 2009, at 12:14 PM by 129.104.11.1 -
September 02, 2009, at 01:46 PM by 129.104.11.1 -
September 02, 2009, at 01:46 PM by 129.104.11.1 -
Changed lines 2-3 from:
  • Session 1: Chair Olivier Bournez.
to:
  • Session 1:
    • 10:30-11:30 : Pablo Arrighi, The quest towards universal physical phenomena, Abstract
  • Session 2: Chair Olivier Bournez.
Changed line 8 from:
  • Session 2: Chair Gilles Dowek.
to:
  • Session 3: Chair Gilles Dowek.
Changed line 14 from:
  • Session 3: Chair Cristian Calude
to:
  • Session 4: Chair Cristian Calude
Changed line 17 from:
  • Session 4: Chair Daniel Graça.
to:
  • Session 5: Chair Daniel Graça.
Changed lines 23-24 from:
  • Session 5: Chair Damien Woods
    • 10:30-11:30 : Pablo Arrighi, The quest towards universal physical phenomena, Abstract
to:
  • Session 6: Chair Damien Woods
Changed line 29 from:
  • Session 6: Chair Nachum Dershowitz.
to:
  • Session 7: Chair Nachum Dershowitz.
Changed line 33 from:
  • Session 7: Chair Jérome Durand-Lose (to be confirmed).
to:
  • Session 8: Chair Jérome Durand-Lose.
August 27, 2009, at 10:24 AM by 129.104.11.1 -
Changed line 5 from:
  • 15:00-15:30 : Karl Svolzil, Proposed direct test of quantum contextuality, Submission
to:
  • 15:00-15:30 : Karl Svolzil, Proposed direct test of quantum contextuality, Paper
August 21, 2009, at 03:41 PM by 129.104.11.1 -
Changed line 8 from:
  • 17:30-18:30 : Stephen Wolfram
to:
  • 17:30-18:30 : Stephen Wolfram, Mining the Computational Universe
August 21, 2009, at 03:36 PM by 129.104.11.1 -
Changed line 7 from:
  • 16:30-17:30 : Oron Shagrir
to:
  • 16:30-17:30 : Oron Shagrir, Accelerating Turing machines don't compute the uncomputable
August 21, 2009, at 03:33 PM by 129.104.11.1 -
Changed line 23 from:
  • 11:30-12:00 : Alastair A. Abbott, The Deutsch-Jozsa Problem: De-quantization and Entanglement, Submission
to:
  • 11:30-12:00 : Alastair A. Abbott, The Deutsch-Jozsa Problem: De-quantization and Entanglement, Paper
August 21, 2009, at 03:28 PM by 129.104.11.1 -
Changed line 24 from:
  • 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon, Spatial search using discrete quantum walks, Submission
to:
  • 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon, Spatial search using discrete quantum walks, Paper
August 21, 2009, at 03:21 PM by 129.104.11.1 -
Changed line 34 from:
  • 15:00-15:30 : Walid Gomaa, A Survey of Recursive Analysis and Moore’s Notion of Real Computation, Submission
to:
  • 15:00-15:30 : Walid Gomaa, A Survey of Recursive Analysis and Moore’s Notion of Real Computation, Paper
August 10, 2009, at 09:21 PM by 89.227.160.50 -
Changed line 15 from:
  • Session 4: Chair Nachum Dershowitz
to:
  • Session 4: Chair Daniel Graça.
Changed line 28 from:
  • Session 6: Chair Daniel Graça.
to:
  • Session 6: Chair Nachum Dershowitz.
August 07, 2009, at 10:29 AM by 129.104.11.1 -
Changed line 28 from:
  • Session 6: Chair Jérome Durand-Lose (to be confirmed).
to:
  • Session 6: Chair Daniel Graça.
Changed line 32 from:
  • Session 7: Chair Daniel Graça
to:
  • Session 7: Chair Jérome Durand-Lose (to be confirmed).
August 07, 2009, at 10:28 AM by 129.104.11.1 -
Changed line 28 from:
  • Session 6:
to:
  • Session 6: Chair Jérome Durand-Lose (to be confirmed).
August 07, 2009, at 10:27 AM by 129.104.11.1 -
Changed line 23 from:
  • 11:30-12:00 : Alastair A. Abbott, The Deutsch-Jozsa Problem: De-quantization and Entanglement, Submission
to:
  • 11:30-12:00 : Alastair A. Abbott, The Deutsch-Jozsa Problem: De-quantization and Entanglement, Submission
August 07, 2009, at 10:26 AM by 129.104.11.1 -
Changed line 3 from:
  • Session 1:
to:
  • Session 1: Chair Olivier Bournez.
Changed line 6 from:
  • Session 2:
to:
  • Session 2: Chair Gilles Dowek.
Changed line 12 from:
  • Session 3:
to:
  • Session 3: Chair Cristian Calude
Changed line 15 from:
  • Session 4:
to:
  • Session 4: Chair Nachum Dershowitz
Changed line 21 from:
  • Session 5:
to:
  • Session 5: Chair Damien Woods
Changed line 32 from:
  • Session 7:
to:
  • Session 7: Chair Daniel Graça
August 04, 2009, at 03:01 PM by 129.104.11.1 -
August 04, 2009, at 11:48 AM by 129.104.11.1 -
Changed line 33 from:
  • 14:00-15:00 : Mathieu Hoyrup
to:
  • 14:00-15:00 : Mathieu Hoyrup, Dynamical systems: unpredictability vs incomputability., Abstract
August 04, 2009, at 11:46 AM by 129.104.11.1 -
Changed lines 14-15 from:
  • 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

to:
  • 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
August 04, 2009, at 11:46 AM by 129.104.11.1 -
Changed lines 12-13 from:
  • 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
to:
  • 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
Changed lines 16-18 from:
  • 14:00-16:00 & 16:30-18:30 : Tutorial, Hajnal Andréka, Judit Madarász, Péter Németi, and Gergely Székely
to:
  • 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
Changed lines 22-23 from:
  • 10:30-11:30 : Pablo Arrighi, The quest towards universal physical phenomena, Abstract
to:
  • Session 5:
    • 10:30-11:30 : Pablo Arrighi, The quest towards universal physical phenomena, Abstract
Changed lines 25-26 from:
  • 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon, Spatial search using discrete quantum walks, Submission
to:
  • 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon, Spatial search using discrete quantum walks, Submission
Changed lines 29-33 from:
  • 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
to:
  • Session 6:
    • 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
  • 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
August 04, 2009, at 11:44 AM by 129.104.11.1 -
Changed lines 3-6 from:
  • 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
to:
  • 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
  • Session 2:
    • 16:30-17:30 : Oron Shagrir
    • 17:30-18:30 : Stephen Wolfram
August 03, 2009, at 02:58 PM by 129.104.11.1 -
Changed lines 11-12 from:
  • 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
to:
  • 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

  • 14:00-16:00 & 16:30-18:30 : Tutorial, Hajnal Andréka, Judit Madarász, Péter Németi, and Gergely Székely
August 03, 2009, at 02:51 PM by 129.104.11.1 -
Changed line 12 from:
  • 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, Madarász, Németi, Németi, and Székely
to:
  • 14:00-16:00 & 16:30-18:30 : Tutorial, Hajnal Andréka, Madarász, Németi, Németi, and Székely
August 03, 2009, at 02:50 PM by 129.104.11.1 -
Changed lines 5-6 from:
  • 16:30-17:30 : Shagrir
  • 17:30-18:30 : Wolfram
to:
  • 16:30-17:30 : Oron Shagrir
  • 17:30-18:30 : Stephen Wolfram
August 03, 2009, at 02:47 PM by 129.104.11.1 -
Changed line 4 from:
  • 15:00-15:30 : Svolzil
to:
  • 15:00-15:30 : Karl Svolzil, Proposed direct test of quantum contextuality, Submission
August 03, 2009, at 02:45 PM by 129.104.11.1 -
Changed line 19 from:
  • 12:00-12:30 : Lovett, Mosby, Stockton, and Kendon,
to:
  • 12:00-12:30 : Neil Lovett, Daniel Mosby, Daniel Stockton, and Viv Kendon, Spatial search using discrete quantum walks, Submission
August 03, 2009, at 02:41 PM by 129.104.11.1 -
Changed line 26 from:
  • 15:00-15:30 : Walid Gomaa
to:
  • 15:00-15:30 : Walid Gomaa, A Survey of Recursive Analysis and Moore’s Notion of Real Computation, Submission
August 03, 2009, at 02:40 PM by 129.104.11.1 -
Changed line 18 from:
  • 11:30-12:00 : Alastair A. Abbott, The Deutsch-Jozsa Problem: De-quantization and Entanglement, Submission?
to:
  • 11:30-12:00 : Alastair A. Abbott, The Deutsch-Jozsa Problem: De-quantization and Entanglement, Submission
August 03, 2009, at 02:38 PM by 129.104.11.1 -
Changed line 18 from:
  • 11:30-12:00 : Abbott
to:
  • 11:30-12:00 : Alastair A. Abbott, The Deutsch-Jozsa Problem: De-quantization and Entanglement, Submission?
August 03, 2009, at 02:36 PM by 129.104.11.1 -
Changed lines 25-26 from:
  • 14:00-15:00 : Hoyrup
  • 15:00-15:30 : Gomaa
to:
  • 14:00-15:00 : Mathieu Hoyrup
  • 15:00-15:30 : Walid Gomaa
August 03, 2009, at 02:20 PM by 129.104.11.1 -
Changed line 3 from:
  • 14:00-15:00 : Costello
to:
  • 14:00-15:00 : Ben de Lacy Costello, Computing using the BZ reaction - collision based gates to glider gun like structures, Abstract
August 03, 2009, at 02:17 PM by 129.104.11.1 -
Changed line 10 from:
  • 10:30-11:30 : Wiedermann
to:
  • 10:30-11:30 : Jiri Wiedermann, Amorphous Computing Systems, Abstract
August 03, 2009, at 02:02 PM by 129.104.11.1 -
Changed line 27 from:
  • 15:30-16:00 : Naya Nagy, Selim G. Akl, Time-Sensitive Computational Models with a Dynamic Time Component, Paper Δ
to:
  • 15:30-16:00 : Naya Nagy, Selim G. Akl, Time-Sensitive Computational Models with a Dynamic Time Component, Paper
August 03, 2009, at 02:01 PM by 129.104.11.1 -
Changed line 27 from:
  • 15:30-16:00 : Naya Nagy, Selim G. Akl, Time-Sensitive Computational Models with a Dynamic Time Component, Paperl Δ
to:
  • 15:30-16:00 : Naya Nagy, Selim G. Akl, Time-Sensitive Computational Models with a Dynamic Time Component, Paper Δ
August 03, 2009, at 02:01 PM by 129.104.11.1 -
Changed line 27 from:
  • 15:30-16:00 : Naya Nagy, Selim G. Akl, Time-Sensitive Computational Models with a Dynamic Time Component, Attach:NayaNagySelimGAkl
to:
  • 15:30-16:00 : Naya Nagy, Selim G. Akl, Time-Sensitive Computational Models with a Dynamic Time Component, Paperl Δ
August 03, 2009, at 02:00 PM by 129.104.11.1 -
Changed line 27 from:
  • 15:30-16:00 : Nagy, Akl
to:
  • 15:30-16:00 : Naya Nagy, Selim G. Akl, Time-Sensitive Computational Models with a Dynamic Time Component, Attach:NayaNagySelimGAkl
August 03, 2009, at 11:05 AM by 129.104.11.1 -
Changed line 23 from:
  • 10:30-11:30 : Gruska
to:
  • 10:30-11:30 : Jozef Gruska, Informatic and physics as two windows to explore the world, Abstract
August 03, 2009, at 11:03 AM by 129.104.11.1 -
Changed line 24 from:
  • 11:30-12:30 : Kohtaro Tadaki, A statistical mechanical interpretation of algorithmic information theory
to:
  • 11:30-12:30 : Kohtaro Tadaki, A statistical mechanical interpretation of algorithmic information theory, Abstract
August 03, 2009, at 11:02 AM by 129.104.11.1 -
Changed line 17 from:
  • 10:30-11:30 : Pablo Arrighi, The quest towards universal physical phenomena., Abstract
to:
  • 10:30-11:30 : Pablo Arrighi, The quest towards universal physical phenomena, Abstract
August 03, 2009, at 11:01 AM by 129.104.11.1 -
Changed line 24 from:
  • 11:30-12:30 : Tadaki
to:
  • 11:30-12:30 : Kohtaro Tadaki, A statistical mechanical interpretation of algorithmic information theory
August 03, 2009, at 10:59 AM by 129.104.11.1 -
Changed lines 17-19 from:
  • 10:30-11:30 : Pablo Arrighi
    • The quest towards universal physical phenomena.
    • Abstract
to:
  • 10:30-11:30 : Pablo Arrighi, The quest towards universal physical phenomena., Abstract
August 03, 2009, at 10:59 AM by 129.104.11.1 -
Changed line 19 from:
to:
August 03, 2009, at 10:59 AM by 129.104.11.1 -
Added line 19:
Deleted lines 29-32:

Abstracts

August 03, 2009, at 10:58 AM by 129.104.11.1 -
Changed lines 30-34 from:

---

to:

Abstracts

August 03, 2009, at 10:58 AM by 129.104.11.1 -
Changed lines 28-31 from:
  • 15:30-16:00 : Nagy, Akl
to:
  • 15:30-16:00 : Nagy, Akl

---

August 03, 2009, at 10:58 AM by 129.104.11.1 -
Changed lines 12-14 from:
  • 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, * Madarász, Németi, Németi, and Székely
to:
  • 14:00-16:00 & 16:30-18:30 : Tutorial, Andréka, Madarász, Németi, Németi, and Székely
Changed lines 17-18 from:
  • 10:30-11:30 : Arrighi
to:
  • 10:30-11:30 : Pablo Arrighi
    • The quest towards universal physical phenomena.
August 03, 2009, at 10:57 AM by 129.104.11.1 -
Changed lines 10-22 from:
  • 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
to:
  • 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
August 03, 2009, at 10:56 AM by 129.104.11.1 -
Changed lines 1-3 from:

Monday 7

to:

Monday 7

Changed lines 4-8 from:
  • 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
to:
  • 15:00-15:30 : Svolzil
  • 16:30-17:30 : Shagrir
  • 17:30-18:30 : Wolfram

Tuesday 8

August 03, 2009, at 10:54 AM by 129.104.11.1 -
Added lines 1-4:

Monday 7

  • 14:00-15:00 : Costello
July 29, 2009, at 02:33 PM by 79.144.230.150 -
Changed lines 2-19 from:

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

to:
  • 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
July 29, 2009, at 02:32 PM by 79.144.230.150 -
Changed lines 1-3 from:

This page will exist soon.

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

to:

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

December 12, 2008, at 04:19 PM by 129.104.11.1 -
Changed lines 1-3 from:

This page will exist soon.

to:

This page will exist soon.

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

December 12, 2008, at 04:06 PM by 129.104.11.1 -
Added line 1:

This page will exist soon.

Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on September 29, 2009, at 12:14 PM