Related papers: Report on the Workshop on Accelerator R&D for Ulti…

This report documents the program of the second Toulouse Tensor Workshop which took place at the University of Toulouse on September 17-19, 2025, and summarizes the main points of discussion. This workshop follows the first Workshop (CECAM…

This volume contains the proceedings of the Eleventh International Workshop on the ACL2 Theorem Prover and its Applications, held on May 30 and 31, 2013, in Laramie, Wyoming, USA. ACL2 is an industrial-strength automated reasoning system,…

Program synthesis is an active research field in academia, national labs, and industry. Yet, work directly applicable to scientific computing, while having some impressive successes, has been limited. This report reviews the relevant areas…

ANL and the National Science Center "Kharkov Institute of Physics Technology" (NSC KIPT, Kharkov, Ukraine) jointly proposed to design and build a 100MeV/100KW linear accelerator which will be used to drive the neutron source subcritical…

The beam transport experiments in toroidal magnets were first described in EPAC08 [1] within the framework of a proposed low energy ion storage ring at Frankfurt University. The experiments with two room temperature 30 degree toroids are…

This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 26th August 2013, as a satellite event of CONCUR 2013.…

This document provides detailed information on the status of Advanced and Novel Accelerators techniques and describes the steps that need to be envisaged for their implementation in future accelerators, in particular for high energy physics…

This volume contains the proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011) that took place in Snowbird, Utah, on July 14, 2011. The workshop was co-located with 23rd International…

This volume contains selected papers presented at the 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS2009, which was held in Brasilia on the 28th June 2009, associated to RTA 2009 (the 20th International…

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2017. Stockholm, Sweden, January 25th. Collocated with HIPEAC 2017 Conference.

This contribution to the published Proceedings records the opening talk I presented on the first morning of the 2005 International Linear Collider Workshop in Snowmass, CO, August 14 - 27, 2005. It includes a summary of the motivation for…

This volume contains the proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik (Croatia) on June 29th, 2012, affiliated to Twenty-Seventh Annual ACM/IEEE Symposium on…

These proceedings present the lectures given at the twenty-fourth specialized course organized by the CERN Accelerator School (CAS). The course was held in Ebeltoft, Denmark, from 8-17 June, 2010 in collaboration with Aarhus University,…

This is the report on the Workshop on Opportunities, Challenges, and Best Practices for Basic Plasma Science User Facilities, held at the University of Maryland, College Park, MD, on May 20-21, 2019.

This is the working summary of the Accelerator Science working group of the Computing Frontier of the Snowmass meeting 2013. It summarizes the computing requirements to support accelerator technology in both Energy and Intensity Frontiers.

This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018…

A muon storage ring neutrino source uses an induction linac for muon capture, a 200 MHz copper cavity system for cooling, and 200 and 400 MHz superconducting rf systems for acceleration to a final energy of up to 50 GeV. These systems and…

These proceedings collate lectures given at the twenty-seventh specialized course organised by the CERN Accelerator School (CAS). The course was held at the Ettore Majorana Foundation and Centre for Scientific Culture (EMFCSC) in Erice,…

The impact of transformer networks is booming, yet, they come with significant computational complexity. It is therefore essential to understand how to optimally map and execute these networks on modern neural processor hardware. So far,…

This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing…