Related papers: Proceedings 18th International Conference on Quant…
We present the syntax and rules of deduction of QPEL (Quantum Program and Effect Language), a language for describing both quantum programs, and properties of quantum programs - effects on the appropriate Hilbert space. We show how…
Proceedings of the 12th International Conference on Elastic and Diffractive Scattering (Blois Workshop) - Forward Physics and QCD
Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make…
The main aim of this thesis is to look for a logical deductive calculus (we will adopt sequent calculus, originally introduced in Gentzen, 1935), which could describe quantum information and its properties. More precisely, we intended to…
This volume contains papers presented at WLPE 2005, 15th International Workshop on Logic-based methods in Programming Environments. The aim of the workshop is to provide an informal meeting for the researchers working on logic-based tools…
This article is based on the opening lecture at the third quantum geometry and quantum gravity school sponsored by the European Science Foundation and held at Zakopane, Poland in March 2011. The goal of the lecture was to present a broad…
Scholars have wondered for a long time whether the language of quantum mechanics introduces a quantum notion of truth which is formalized by quantum logic (QL) and is incompatible with the classical (Tarskian) notion. We show that QL can be…
These are the contributed papers presented at the 20th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025), at Birmingham, UK on 19 July as a satellite event of the FSCD conference. The program…
This volume contains the papers presented at WLPE 2007: the 17th Workshop on Logic-based Methods in Programming Environments on 13th September, 2007 in Porto, Portugal. It was held as a satellite workshop of ICLP 2007, the 23th…
This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. WLPE aims at providing an informal meeting for researchers…
This paper collects and extends the lectures I gave at the "XXIV International Fall Workshop on Geometry and Physics" held in Zaragoza (Spain) August 31 - September 4, 2015. Within these lectures I review the formulation of Quantum…
This is a comment on a collection of statements gathered on the occasion of the Quantum Physics of Nature meeting in Vienna.
The National Quantum Initiative Joint Algorithms Workshop brought together researchers across academia, national laboratories, and industry to assess the current landscape of quantum algorithms and discuss roadblocks to progress. The…
Given the impending timeline of developing good-quality quantum processing units, it is time to rethink the approach to advance quantum computing research. Rather than waiting for quantum hardware technologies to mature, we need to start…
This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 June 2024, in Reykjavik, Iceland. The aim of GandALF 2024 is…
This is a write-up of a short tutorial talk on high-intensity QED, video-presented at the 2021 annual Christmas meeting of the Central Laser Facility at Rutherford-Appleton Lab, UK. The first half consists of a largely historical…
This is a brief digest of my closing lecture at the XXII Rencontres de Blois, Particle Physics and Cosmology. Slides of all the talks referred to may be found at http://confs.obspm.fr/Blois2010.
In this closing talk of the DIS 2021 Workshop, I review some of the lessons we've learned about quantum chromodynamics, and reflect on what we may hope to learn in the coming years.
This volume contains the papers presented at WLPE 2008: the 18th Workshop on Logic-based Methods in Programming Environments held on 12th December, 2008 in Udine, Italy. It was held as a satellite workshop of ICLP 2008, the 24th…
These notes partly touch the topic of the talk given by the author at the XXXVIII Workshop on Geometric Methods in Physics, hold in June-July 2019 in Bia\l{}owie\.{z}a, Poland. They consist of a short and self-contained introduction to the…