Related papers: The Third Workshop on Extremely Precise Radial Vel…

The RET (Requirements Engineering and Testing) workshop series provides a meeting point for researchers and practitioners from the two separate fields of Requirements Engineering (RE) and Testing. The goal is to improve the connection and…

As part of the Intensity Frontier effort within the 2013 Community Summer Study, a workshop on the proton machine capabilities was held (High Intensity Secondary Beams Driven by Proton Beams) April 17-20, 2013 at Brookhaven National…

This is the Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2019, which was held in Philadelphia, USA, June 3rd , 2019.

This volume contains the proceedings of RULE 2009: the tenth International Workshop on Rule-Based Programming. It took place in June 28th 2009, Brasilia, Brazil, as a satellite event of RDP 2009. The first Rule workshop was held in Montreal…

This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria. The workshop was a one-day satellite event of FLoC 2014, the sixth Federated Logic…

This volume contains contributions submitted to the 12th Low-Level RF Workshop which will be held in Newport News, Virginia, USA on October 12-16, 2025. This workshop continues the series of successful international workshops held in…

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2018. Manchester, United Kingdom, January 22nd. Collocated with HIPEAC 2018 Conference.

This volume contains a selection of the papers presented at the 2nd International Workshop on Linearity (LINEARITY'2012), which took place 1 April 2012 in Tallinn, Estonia. The workshop was a one-day satellite event of ETAPS 2012, the 15th…

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…

These are the proceedings of the LHCSki 2016 workshop "A First Discussion of 13 TeV Results" that has been held at the Obergurgl Universit\"atszentrum, Tirol, Austria, April 10 - 15, 2016. In this workshop the consequences of the most…

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

The radiation hardened beam instrumentations workshop was held on February 3rd and 4th, 2022 to identify the technological challenges on the beam instrumentation for multi-Mega-Watt (MW) beam facilities. We invited a speaker from a high…

The reports collected in these proceedings have been presented in the third French-Ukrainian workshop on the instrumentation developments for high-energy physics held at LAL, Orsay on October 15-16. The workshop was conducted in the scope…

Contained within this volume are the scholarly contributions presented in both oral and poster formats at Fully3D 2023: The 17th International Meeting on Fully Three-Dimensional Image Reconstruction in Radiology and Nuclear Medicine. This…

This volume contains the proceedings of the 3rd International Workshop on Formal Aspects of Virtual Organisations (FAVO 2011). The workshop was held in Sao Paulo, Brazil on October 18th, 2011 as a satellite event to the 12th IFIP Working…

We present mini-proceedings of the international workshop on "Chiral Forces in Low Energy Nuclear Physics - the LENPIC Meeting" held at the Jagiellonian University, Krakow, Poland from February 10 to 11, 2017. The workshop focused on the…

This is the proceedings of PLACES'10, the 3rd Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, held in Pathos, Cyprus, on 21st Mach, 2010, co-located with the ETAPS federated conferences. PLACES…

This is the Proceedings of NIPS 2016 Workshop on Interpretable Machine Learning for Complex Systems, held in Barcelona, Spain on December 9, 2016

This paper summarizes the activities and presentations of Working Group 5 of the Advanced Accelerator Concepts Workshop held at Annapolis, Maryland in June 2010. Working Group 5 touched on a broad range of topics in the fields of beam and…

This volume contains the proceedings of Infinity'13, the 15th International Workshop on Verification of Infinite-State Systems, which was held in Hanoi, Vietnam on the 14th of October 2013 as a satellite event of ATVA'13. The aim of the…