Proceedings of the 21st International Conference on Quantum Physics and Logic
- URL: http://arxiv.org/abs/2408.05113v1
- Date: Fri, 9 Aug 2024 15:04:17 GMT
- Title: Proceedings of the 21st International Conference on Quantum Physics and Logic
- Authors: Alejandro Díaz-Caro, Vladimir Zamdzhiev,
- Abstract summary: QPL is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas.
The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.
- Score: 49.1574468325115
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This volume contains the proceedings of the 21st International Conference on Quantum Physics and Logic (QPL 2024), which was held from July 15th to 19th, 2024, in Buenos Aires, Argentina, organized jointly by Universidad de Buenos Aires and Universidad Nacional de Quilmes. QPL is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.
Related papers
- Technology and Performance Benchmarks of IQM's 20-Qubit Quantum Computer [56.435136806763055]
IQM Quantum Computers is described covering both the QPU and the rest of the full-stack quantum computer.
The focus is on a 20-qubit quantum computer featuring the Garnet QPU and its architecture, which we will scale up to 150 qubits.
We present QPU and system-level benchmarks, including a median 2-qubit gate fidelity of 99.5% and genuinely entangling all 20 qubits in a Greenberger-Horne-Zeilinger (GHZ) state.
arXiv Detail & Related papers (2024-08-22T14:26:10Z) - Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis [0.6649753747542209]
LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications.
The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.
arXiv Detail & Related papers (2024-04-21T14:22:53Z) - Proceedings 39th International Conference on Logic Programming [53.44544554999452]
This volume includes the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023)
Main Track, the Doctoral Consortium, the Application and Systems/Demo track, the Birds-of-a-Feather track, the Thematic Tracks on Logic Programming and Machine Learning, and Logic Programming and Explainability, Ethics, and Trustworthiness.
arXiv Detail & Related papers (2023-08-28T20:46:59Z) - Proceedings of the Twentieth International Conference on Quantum Physics
and Logic [0.0]
This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023)
The aim of the QPL conference series is to bring together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas.
arXiv Detail & Related papers (2023-08-23T06:50:47Z) - Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge [0.0]
TARK conference aims to bring together researchers from a wide variety of fields.
Previous conferences have been held biennially around the world since 1986.
arXiv Detail & Related papers (2023-07-08T16:22:42Z) - Trapped Ions as an Architecture for Quantum Computing [110.83289076967895]
We describe one of the most promising platforms for the construction of a universal quantum computer.
We discuss from the physics involved in trapping ions in electromagnetic potentials to the Hamiltonian engineering needed to generate a universal set of logic gates.
arXiv Detail & Related papers (2022-07-23T22:58:50Z) - Proceedings 18th International Conference on Quantum Physics and Logic [0.0]
QPL is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas.
This volume contains the proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021), which was held June 7-11, 2021 at the University of Gdansk and online.
arXiv Detail & Related papers (2021-09-09T00:57:38Z) - Proceedings 17th International Conference on Quantum Physics and Logic [2.035937589646518]
Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas.
Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.
arXiv Detail & Related papers (2021-09-03T13:57:05Z) - Preferred basis, decoherence and a quantum state of the Universe [77.34726150561087]
We review a number of issues in foundations of quantum theory and quantum cosmology.
These issues can be considered as a part of the scientific legacy of H.D. Zeh.
arXiv Detail & Related papers (2020-06-28T18:07:59Z) - An Application of Quantum Annealing Computing to Seismic Inversion [55.41644538483948]
We apply a quantum algorithm to a D-Wave quantum annealer to solve a small scale seismic inversions problem.
The accuracy achieved by the quantum computer is at least as good as that of the classical computer.
arXiv Detail & Related papers (2020-05-06T14:18:44Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.