Programme
- Tuesday, August 31
- Opening
- Chair: Cristian S. CALUDE
- Session 1: Invited Lecture (45m)
- Samson ABRAMSKY: Relational Hidden Variables and Non-Locality
- Session 2: Regular Talks (2 x 20m)
- Alastair ABBOTT: De-quantisation of the Quantum Fourier Transform
- Olivier BOURNEZ and Nachum DERSHOWITZ: Foundations of Analog Algorithms
- Lunch
- Chair: Karl SVOZIL
- Session 3: Invited Lecture (45m)
- Arturo CARSETTI: The Emergence of Meaning at the Co-evolutive Level: An Epistemological Approach
- Session 4: Regular Talks (2 x 20m)
- Olivier BOURNEZ, Walid GOMAA, and Emmanuel HAINRY: Algebraic Characterization of Complexity. Theoretic Classes of Real Functions
- Elena CALUDE: Fermat’s Last Theorem and Chaoticity
- Wednesday, September 1
- Chair: John CASE
- Session 1: Invited Lecture (45m)
- Gilles DOWEK: The Physical Church Thesis as an Explanation of the Galileo Thesis
- Session 2: Tutorial (45m)
- Hajnal ANDRÉKA, Judit MADARASZ, Istvan NÉMETI, and Gergely SZÉKELY: Axiomatization of Relativistic Physics in a Logical Framework
- Lunch
- Chair: Rossella LUPACCHINI
- Session 3: Invited Lecture (45m)
- Sonja SMETS: Quantum Logics
- Session 4: Regular Talks (2 x 20m)
- Juliana BUENO-SOLER and Walter CARNIELLI: Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?
- Adan CABELLO: Memory Cost of Simulating Quantum Mechanics
- Thursday, September 2
- Chair: Nachum DERSHOWITZ
- Session 1: Tutorial (45m)
- Marco LANZAGORTA: Quantum Computation: Computability and Complexity
- Session 2: Regular Talks (2 x 20m)
- Cristian S. CALUDE, Michael J. DINNEEN, Monica DUMITRESCU, and Karl SVOZIL: Experimental Evidence of Quantum Randomness Incomputability
- Nicolas J. CERF, Peter HØYER, Loick MAGNIN, and Barry C. SANDERS: Quantum Algorithms with Continuous Variables for Black Box Problems
- Lunch
- Chair: Adan CABELLO
- Session 3: Invited Lecture (45m)
- Salvador VENEGAS-ANDRACA: Adiabatic Quantum Computation and NP-completeness: Quantum Algorithms and Massive Simulation in Classical Computer Clouds
- Session 4: Regular Talks (2 x 20m)
- Jack CHAPLIN, Natalio KRASNOGOR, and Noah RUSSELL: Towards a Physical Implementation of P Systems: Photo-switching Molecules as Logic Gates and Registers
- Joost JOOSTEN, Fernando Soler TOSCANO, and Hector ZENIL: Program-size versus Time Complexity. Slowdown and Speed-up Phenomena in the Micro-cosmos of Small Turing Machines
- Friday, September 3
- Chair: Mike STANNETT
- Session 1: Special Session (130m)
- Selmer BRINGSJORD: What Recent Developments Bring Us Closer to HAL 9000?
- David G. STORK: 2001: HAL's Legacy
- Lunch
- Chair: Salvador VENEGAS-ANDRACA
- Session 2: Regular Talks (2 x 20m)
- Rossella LUPACCHINI: Through the Looking Glass: What Computation Found There
- Naya NAGY and Selim AKL: Access Control in a Hierarchy by Quantum Means
- Tea-Break
- Chair: Marco LANZAGORTA
- Session 3: Regular Talk (20m) and Informal Talk (20m)
- Karl SVOZIL: Bertlmann's Chocolate Balls and Quantum Type Cryptography
- Inma CABRERA, Pablo CORDERO, Gloria GUTIERREZ, Javier MARTINEZ, and Manuel OJEDA- ACIEGO: Coalgebras and Non-Determinism: an Application to Multilattices
- Saturday, September 4
- Chair: Gilles DOWEK
- Session 1: Invited Lecture (45m)
- John CASE: Algorithmic Scientific Inference: Within Our Computable Expected Reality
- Session 2: Informal Talks (2 x 20m)
- Marco LANZAGORTA, Jeffrey UHLMANN: Error Scaling in Fault Tolerant Quantum Computation
- Mike STANNETT: Computation and the Illusion of Physical Reality
- Lunch
- Chair: Walter CARNIELLI
- Session 3: Regular Talks (2x 20m)
- Judit MADARASZ, Istvan NÉMETI, and Gergely SZÉKELY: A Completeness Theorem for General Relativity
- Edwin BEGGS, José Félix COSTA, and John V. TUCKER: The Turing Machine and the Uncertainty Principle
- Session 4: Regular Talk (20m) and Informal Talk (20m)
- Bruno Woltzenlogel PALEO: Physics and Proof Theory
- Karin VERELST: A Note on the Categorical Nature of Causality (II)
- Sunday, September 5
- Chair: Cristian S. CALUDE
- Session 1: Panel discussion (60min)
- Closing (25min)
- Lunch
From Tuesday to Saturday, at 18h30 PM: Lectures on Monumental Hieroglyphs