Related papers: Future Proof for Physics: Preserving the Record of…

In this lecture, I discuss measurements of the properties of the Higgs boson and related observables in the era of Higgs factories. This highly motivated experimental program is the challenge for the next generation of particle physicists.

In this talk I will begin by summarising the importance of the Higgs physics studies at the LHC. I will then give a short description of the pre-LHC constraints on the Higgs mass and the theoretical predictions for the LHC along with a…

Scientific fact-checking aims to determine the veracity of scientific claims by retrieving and analysing evidence from research literature. The problem is inherently more complex than general fact-checking since it must accommodate the…

Mathematical proofs are often said to justify their conclusions by indicating the existence of a corresponding formal derivation. We argue that this widespread view relies on an under-examined notion of correspondence, or what it means for…

Future Experiments at LHC will have the opportunity to pursue an extensive program on B Physics and CP violation. The expected performance are presented here.

Several stimulating open questions in high energy spin physics will be described together with the striking progress recently achieved in this field. In view of the new experimental facilities and the new tools, soon available, I will try…

These lecture notes discuss methods, recent results and future prospects in proton-proton physics at the Large Hadron Collider.

I offer brief observations on matters discussed at the XIV International Conference on Hadron Spectroscopy and explore prospects for hadron physics.

I present a brief review of the history of the Instituto Argentino de Radioastronom\'ia, a description of its current facilities and projects, and a view of his prospects for the future.

This document presents an overview of the physics potential of a future electron-positron linear collider. It represents a common input from the CLIC and ILC communities.

In this communication I describe the ATLAS forward physics program and the detectors, LUCID, ZDC and ALFA that have been designed to meet this experimental challenge. In addition to their primary role in the determination of ATLAS…

This paper gives an introduction to some of the statistical physics problems which appear in the study of structural glasses. It is a shortened and updated version of a more detailed review paper which has appeared in cond-mat/0005173.

The papers review the main theoretical and experimental aspects of the Forward Physics at the Large Hadron Collider.

The paper gives a short overview of the principles of particle accelerators, their historical development and the typical performance limitations. After an introduction to the basic concepts, the main emphasis is to sketch the layout of…

The necessity of the FORM project is discussed. Then the evolutionary needs in particle physics are considered, looking at the trends over the years. A guess is made at what will be needed in the (near) future. The whole is concluded with…

After a very brief review of twentieth century elementary particle physics, prospects for the next century are discussed. First and most important are technological limits of opportunities; next, the future experimental program, and finally…

We review the theoretical and experimental motivations behind recent proposals to add forward proton tagging detectors to the LHC experiments as a means to search for new physics.

In parallel to the ever-growing usage of mechanized proofs in diverse areas of mathematics and computer science, proof assistants are used more and more for education. This paper surveys previous work related to the use of proof assistants…

The aim of this short paper is to give a practical introduction to functional interpretation of proofs for computer scientists interested in synthesis.

This document is a pedagogical introduction to statistics for particle physics. Emphasis is placed on the terminology, concepts, and methods being used at the Large Hadron Collider. The document addresses both the statistical tests applied…