Related papers: Report of the US ITER Research Program Research Ne…
In recent years, theoretical and phenomenological studies with effective field theories have become a trending and prolific line of research in the field of high-energy physics. In order to discuss present and future prospects concerning…
Recent P5 report indicated the accelerator-based neutrino and rare decay physics research as a centrepiece of the US domestic HEP program. Operation, upgrade and development of the accelerators for the near-term and longer-term particle…
This volume of EPTCS contains the proceedings of the Fourth Workshop on Proof Exchange for Theorem Proving (PxTP 2015), held as part of the International Conference on Automated Deduction (CADE 2015) on August 2-3, 2015 in Berlin. The PxTP…
This report synthesizes the outcomes of a two-day workshop held in Washington, D.C. in May, 2025 that convened researchers, industry representatives, and government stakeholders to examine the current state and future directions of quantum…
Cutting-edge research in Artificial Intelligence (AI) requires considerable resources, including Graphics Processing Units (GPUs), data, and human resources. In this paper, we evaluate of the relationship between these resources and the…
SNOLAB hosts a biannual Future Projects Workshop (FPW) with the goal of encouraging future project stakeholders to present ideas, concepts, and needs for experiments or programs that could one day be hosted at SNOLAB. The 2025 FPW was held…
We summarize the objectives and results of the ``international scoping study of a future neutrino factory and superbeam facility'' (ISS) physics working group. Furthermore, we discuss how the ISS study should develop into a neutrino factory…
We introduce PARQR, a tool for online education forums that reduces duplicate posts by 40\% in a degree seeking online masters program at a top university. Instead of performing a standard keyword search, PARQR monitors questions as…
This volume contains the proceedings of MARS 2020, the fourth workshop on Models for Formal Analysis of Real Systems held as part of ETAPS 2020, the European Joint Conferences on Theory and Practice of Software. The MARS workshop brings…
The 2021 Snowmass Energy Frontier panel wrote in its final report "The realization of a Higgs factory will require an immediate, vigorous and targeted detector R&D program". Both linear and circular $e^+e^-$ collider efforts have developed…
We propose the first workshop on Building Innovative Research Systems for Digital Libraries (BIRDS) to take place at TPDL 2025 as a full-day workshop. BIRDS addresses practitioners working in digital libraries and GLAMs as well as…
People who need robots are often not the same as people who can program them. This key observation in human-robot interaction (HRI) has lead to a number of challenges when developing robotic applications, since developers must understand…
In this preliminary study, we investigate a GPT-driven intent-based reasoning approach to streamline tool selection for large language models (LLMs) aimed at system efficiency. By identifying the intent behind user prompts at runtime, we…
With the increasing significance of Research, Technology, and Innovation (RTI) policies in recent years, the demand for detailed information about the performance of these sectors has surged. Many of the current tools are limited in their…
Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make it easier to understand and modify. We propose refactoring…
The interest on autonomous systems is increasing both in industry and academia. Such systems must operate with limited human intervention in a changing environment and must be able to compensate for significant system failures without…
When it comes to conversations about funding, the questions of whether the United States should be spending its resources on space-based research often rears its head. Opponents of the idea tend to share the opinion that the resources would…
The US Physics community completed the Snowmass planning process in 2022, culminating in the HEPAP Particle Physics Project Prioritization Panel (P5) publishing its summary report at the end of 2023. Building on this, the US Magnet…
The Bibliometric-enhanced Information Retrieval (BIR) workshop series has started at ECIR in 2014 and serves as the annual gathering of IR researchers who address various information-related tasks on scientific corpora and bibliometrics. We…
The Mega Amp Spherical Tokamak (MAST) is the centre piece of the UK fusion research programme. In 2010, a MAST Upgrade programme was initiated with three primary objectives, to contribute to: 1) Testing reactor concepts (in particular…