Accepted papers
Alastair ABBOTT
De-quantisation of the Quantum
Fourier Transform
Hajnal ANDRÉKA, Judit MADARASZ, Istvan
NÉMETI, and Gergely
SZÉKELY
Axiomatization of Relativistic
Physics in a Logical Framework
Edwin BEGGS, José Félix COSTA, and John
V. TUCKER
The Turing Machine and the
Uncertainty Principle
Olivier BOURNEZ and Nachum DERSHOWITZ
Foundations of Analog Algorithms
Olivier BOURNEZ, Walid GOMAA, and Emmanuel HAINRY
Algebraic Characterization of
Complexity. Theoretic Classes of Real Functions
Juliana BUENO-SOLER and Walter CARNIELLI
Incompleteness in Multimodal Logics:
a Barrier for Quantum Computing?
Adan CABELLO
Memory Cost of Simulating Quantum
Mechanics
Cristian S. CALUDE, Michael J. DINNEEN, Monica DUMITRESCU,
and
Karl SVOZIL
Experimental Evidence of Quantum
Randomness Incomputability
Elena CALUDE
Fermat’s Last Theorem and
Chaoticity
Nicolas J. CERF, Peter HØYER, Loïck
MAGNIN, and Barry C. SANDERS
Quantum Algorithms with Continuous
Variables for Black Box Problems
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
Rossella LUPACCHINI
Through the Looking Glass: What
Computation Found There
Judit MADARASZ, Istvan NÉMETI, and Gergely
SZÉKELY
A Completeness Theorem for General
Relativity
Naya NAGY and Selim AKL
Access Control in a Hierarchy by
Quantum Means
Bruno Woltzenlogel PALEO
Physics and Proof Theory
Karl SVOZIL
Bertlmann's Chocolate Balls and
Quantum Type Cryptography
Informal Presentations
Inma CABRERA, Pablo CORDERO, Gloria GUTIERREZ, Javier MARTINEZ, and
Manuel
OJEDA-ACIEGO
Coalgebras and Non-Determinism: an
Application to Multilattices
Marco LANZAGORTA, Jeffrey UHLMANN
Error Scaling in Fault Tolerant
Quantum Computation
Mike STANNETT
Computation and the Illusion of
Physical Reality
Karin VERELST
A Note on the Categorical Nature of
Causality (II)
