Related papers: 9th Low-Level RF Workshop (LLRF2019)

In response to the growing need for low-radioactivity argon, community experts and interested parties came together for a 2-day workshop to discuss the worldwide low-radioactivity argon needs and the challenges associated with its…

This volume represents the proceedings of the International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019), co-located with the 14th International Symposium on Reconfigurable…

This volume contains the accepted papers of the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV'13), which took place in Florence, Italy, on June 6, as a satellite event of the 8th International…

This volume contains the proceedings of the 11th International Workshop on Verification of Infinite-State Systems (INFINITY 2009). The workshop was held in Bologna, Italy on August 31, 2009, as a satellite event to the 20th International…

Proceedings of the BMVC 2019 Workshop on Interpretable and Explainable Machine Vision, Cardiff, UK, September 12, 2019.

This is the proceedings of the 3rd ML4D workshop which was help in Vancouver, Canada on December 13, 2019 as part of the Neural Information Processing Systems conference.

This compendium gathers all the accepted extended abstracts from the Second International Conference on Medical Imaging with Deep Learning (MIDL 2019), held in London, UK, 8-10 July 2019. Note that only accepted extended abstracts are…

This volume contains a selection of papers presented at LFMTP 2019, the 14th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on June 22, 2019, in Vancouver, Canada. The workshop was…

This volume contains the proceedings of the 9th Working Formal Methods Symposium, which was held at the Alexandru Ioan Cuza University, Ia\c{s}i, Romania on September 17-19, 2025.

Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.

The 11th workshop, Descriptional Complexity of Formal Systems 2009, is taking place in Magdeburg, Germany, on July 6-9, 2009. It is jointly organized by the IFIP Working Group 1.2 on Descriptional Complexity and by the Faculty of Computer…

This volume represents the proceedings of the Artificial Intelligence for Cyber Security (AICS) Workshop 2019, held on January 27, 2019 in Honolulu, Hawaii.

The Low Frequency Instrument (LFI) is a radiometer array covering the 30-70 GHz spectral range on-board the ESA Planck satellite, launched on May 14th, 2009 to observe the cosmic microwave background (CMB) with unprecedented precision. In…

The 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009) took place on November 4, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009 and other related events for…

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 volume contains the Late-Breaking Abstracts submitted to the EVO* 2019 Conference, that took place in Leipzig, from 24 to 26 of April. These papers where presented as short talks and also at the poster session of the conference…

This proceedings contains abstracts and position papers for the work presented at the third Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, using zoom, at stonybrook.zoom.us, on December 13, 2022. The…

Talk given at XIXth International Symposium on Lepton and Photon Interactions at High Energies (LP 99), Stanford, California, 9-14 August 1999.

This note summarises the workshop LCTW09 held between the 3.11.2009 and 5.11.2009 at LAL Orsay. The workshop was dedicated to discuss the beam tests in the years 2010 up to 2013 for detectors to be operated at a future linear electron…

The second workshop to discuss the development of liquid argon time projection chambers (LArTPCs) in the United States was held at Fermilab on July 8-9, 2014. The workshop was organized under the auspices of the Coordinating Panel for…