相关论文: Proceedings 19th International Conference on Quant…
This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Turin, Italy, on April…
This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains extended abstracts of talks to be presented at the Seventh International Conference on Computability and Complexity in Analysis (CCA 2010) that will…
These notes are an elaboration on: (i) a short course that I gave at the IPhT-Saclay in May-June 2012; (ii) a previous letter on reversibility in quantum mechanics. They present an introductory, but hopefully coherent, view of the main…
This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th, 2012 in Budapest. The program included 1 invited talk, 9…
We summarize the main results of 19 talks presented at the QG3 session (loop quantum gravity: cosmology and black holes) of the 16th Marcel Grossmann Meeting held online from July $5^{\mathrm{th}}$-10$^{\mathrm{th}}$, 2021.
This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declarative programming is an advanced paradigm for the modeling…
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the International Symposium on Formal Methods 2009. This volume…
This preprint contains a detailed Preface to Proceedinngs of the International Conference ``Foundations of Probability and Physics-3'' held in V\"axj\"o, Sweden, 7-12 June 2004; table of contents and round table. The main theme of the round…
This volume contains the post-proceedings of the Sixteenth Logical and Semantic Frameworks with Applications (LSFA 2021). The meeting was held online on July 23-24, 2021, organised by the Universidad de Buenos Aires, Argentina. LSFA aims to…
The paper is withdrawn by the author. This was an embryon of the book which has now been published with World Scientific under the title "Lectures on Quantum Chromodynamics". See http://www.wspc.com.sg/books/physics/4443.html, where the…
The fifth edition of the "Computing Applications in Particle Physics" school was held on 3-7 February 2020, at Istanbul University, Turkey. This particular edition focused on the processing of simulated data from the Large Hadron Collider…
We give here the contents pages for the Proceedings of the Lattice '97 conference (15th International Symposium on Lattice Field Theory) that took place in July 1997 in Edinburgh, Scotland. The contents are in html form with clickable links…
This is the written version of lectures presented at "The 17th Symposium on Theoretical Physics - Applied Field Theory", 29 June - 1 July, 1998, the Sangsan Mathematical Science Building, Seoul National University, Seoul, Korea.
The 9th International Workshop on Physics and Computation (PC 2018) was held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which was…
This volume contains the proceedings of the 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). The aim of GandALF 2023 symposium is to bring together researchers from academia and industry who…
These are the revised versions of the papers presented at CICLOPS 2011, a workshop colocated with ICLP 2011.
This paper summarises oral contributions to the parallel session {\it Complex and conformal methods in classical and quantum gravity} which took place during the 20th International Conference on General Relativity and Gravitation held in…
Due to the superiority and noteworthy progress of Quantum Computing (QC) in a lot of applications such as cryptography, chemistry, Big data, machine learning, optimization, Internet of Things (IoT), Blockchain, communication, and many more.…
Open questions on the fundamental nature of the strong force endure and the Large Hadron Collider (LHC) is a once-in-a-generation laboratory elucidating its quantum origins. This document summarizes the plenary overview talk titled "QCD…
This report is the summary of the Eighth International Conference on Quarks and Nuclear Physics (QNP2018). Hadron and nuclear physics is the field to investigate high-density quantum many-body systems bound by strong interactions. It is…