Related papers: 9th Low-Level RF Workshop (LLRF2019)
This volume contains the proceedings of Infinity'12, the 14th International Workshop on Verification of Infinite-State Systems, which was held in Paris, France on the 27th of August 2012 as a satellite event of FM'12. The aim of the…
This is the Proceedings of NIPS 2017 Workshop on Machine Learning for the Developing World, held in Long Beach, California, USA on December 8, 2017
This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Symposium on Formal Methods (FM). The aim of the AppFM…
This report summarizes the discussions and recommendations from the NSF Workshop on Algorithm-Hardware Co-design for Medical Applications, held on September 26-27, 2024, in Pittsburgh, PA. The workshop assembled an interdisciplinary cohort…
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 represents the proceedings of the 2nd Workshop on Robots in Clutter: Preparing robots for the real world, held June 27, 2013, at the Robotics: Science and Systems conference in Berlin, Germany.
On February 6, 2019, an EMMI workshop on 'Central exclusive production at the LHC' was held at Heidelberg. Here we make some remarks on the topics presented in the talks and the discussions of this meeting. We hope that this will be useful…
The Low Frequency Array (LOFAR) is under construction in the Netherlands and in several surrounding European countries. In this contribution, we describe the layout and design of the telescope, with a particular emphasis on the imaging…
This volume represents the proceedings of the CHI 2019 Workshop on New Directions for the IoT: Automate, Share, Build, and Care.
This volume contains the proceedings of the Workshop on High Productivity Computations (HPC 2010) which took place on June 21-22 in Kazan, Russia. This workshop was held as a satellite workshop of the 5th International Computer Science…
The SIGIR 2019 Workshop on eCommerce (ECOM19), was a full day workshop that took place on Thursday, July 25, 2019 in Paris, France. The purpose of the workshop was to serve as a platform for publication and discussion of Information…
The third Global Experimentation for Future Internet (GEFI 2018) workshop was held October 25-26, 2018 in Tokyo, Japan, hosted by the University of Tokyo. A total of forty-four participants attended, representing Belgium, Brazil, China,…
This article summarizes the work presented at the workshop 'The Power of Faraday Tomography: towards 3D mapping of cosmic magnetic fields', held in Miyazaki, Japan, in Spring 2018. We place the various oral and poster presentations given at…
We present the activities performed during the first MadAnalysis 5 workshop on LHC recasting that has been organized at High 1 (Gangwon privince, Korea) on August 20-27, 2017. This report includes details on the implementation in the…
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 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011). The workshop was held in Taipei, Taiwan on October 10, 2011, as a satellite event to the 9th International…
CEA is committed to the design, construction and commissioning of a Medium Energy Beam Transfer line and a superconducting linac (SCL) for SARAF accelerator in order to accelerate 5mA beam of either protons from 1.3 MeV to 35 MeV or…
This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portugal, as part of FM'19, the 3rd World Congress on Formal…
In 2023, we are replacing the LLRF system for the KEK-PF 2.5 GeV ring. The new system is composed of digital boards such as eRTM, AMC, and {\mu}RTM, based on the MTCA.4 standard. In our system, we adopted the non-IQ direct sampling method…
This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages…