English
Related papers

Related papers: 11th Low-Level RF Workshop (LLRF2023)

200 papers

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…

Logic in Computer Science · Computer Science 2015-02-17 Sandra Alves , Iliano Cervesato

In this paper, we study the possibility of detection of short term terrestrial lower ionospheric response to gamma ray bursts (GRBs) using a statistical analysis of perturbations of six very low or low frequency (VLF/LF) radio signals…

Space Physics · Physics 2018-02-01 Aleksandra Nina , Saša Simić , Vladimir A. Srećković , Luka Č. Popović

This volume contains the proceedings of the Ninth Workshop on Fixed Points in Computer Science which took place on the September 1st, 2013 in Torino, Italy as a CSL-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL…

Logic in Computer Science · Computer Science 2013-08-28 David Baelde , Arnaud Carayol

Two out of three people will be living in urban areas by 2050, as projected by the United Nations, emphasizing the need for sustainable urban development and monitoring. Common urban footprint data provide high-resolution city extents but…

Computer Vision and Pattern Recognition · Computer Science 2020-12-11 Minho Kim , Doyoung Jeong , Hyoungwoo Choi , Yongil Kim

This year, 2019 we celebrate 30 years of our friendship between Asian and European scientists at the AEW11 in Rotterdam, the Netherlands. Many of the 1989 participants are also present at the 2019 event. This year we have many participants…

This volume constitutes the proceedings of LFMTP 2011, the Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. The LFMTP workshop series brings together designers, implementors, and practitioners to…

Logic in Computer Science · Computer Science 2011-11-01 Herman Geuvers , Gopalan Nadathur

Proceedings of the 'Hawking Radiation' conference in Stockholm, Sweden 2015. It includes a link to the video recording of the conference and all the talks, discussions, and communications, that took place during the week of the conference .…

High Energy Physics - Theory · Physics 2016-10-06 Laura Mersini-Houghton , Dillon N. Morse

This volume contains the proceedings of the 7th Workshop on Security Issues in Concurrency (SecCo'09). The workshop was held in Bologna, Italy on September 5th 2009, as a satellite workshop of CONCUR'09. The aim of the SecCo workshop series…

Cryptography and Security · Computer Science 2009-10-26 Michele Boreale , Steve Kremer

The Fifteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2025) was held in Loughborough, UK, on July 21 and 22, 2025, organized by the Department of Computer Science at Loughborough University and…

Formal Languages and Automata Theory · Computer Science 2025-07-21 Nelma Moreira , Luca Prigioniero

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…

Logic in Computer Science · Computer Science 2019-04-23 Michele Pagani , Sandra Alves

This volume contains the proceedings of the Tenth International Workshop on Fixed Points in Computer Science (FICS 2015) which took place on September 11th and 12th, 2015 in Berlin, Germany, as a satellite event of the conference Computer…

Logic in Computer Science · Computer Science 2015-09-10 Ralph Matthes , Matteo Mio

This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the…

Logic in Computer Science · Computer Science 2018-02-19 Horatiu Cirstea , David Sabel

ARCOE-Logic 2014, the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic, was held in co-location with the 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW…

Artificial Intelligence · Computer Science 2014-12-31 Michael Fink , Martin Homola , Alessandra Mileo

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.

Artificial Intelligence · Computer Science 2019-12-20 Jorge Fandinno , Johannes Fichte

The first edition of the workshop on Large Language Model for Evaluation in Information Retrieval (LLM4Eval 2024) took place in July 2024, co-located with the ACM SIGIR Conference 2024 in the USA (SIGIR 2024). The aim was to bring…

This is the proceedings of the 1st International Workshop on Low Carbon Computing (LOCO 2024).

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-07 Wim Vanderbauwhede , Lauritz Thamsen , José Cano

This report contains the Proceedings of the ICFA Mini-Workshop on Beam-Beam Effects in Hadron Colliders held at CERN from 18 to 22 March 2013. It was the first of its kind after the successful start of LHC operation where a vast amount of…

Accelerator Physics · Physics 2015-07-17 W. Herr , G. Papotti

This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains revised selected papers that were initially presented at the 13th International Workshop on Trends in Functional Programming in Education (TFPIE…

Programming Languages · Computer Science 2024-07-10 Stephen Chang

This document summarizes talks and discussions from the workshop "deci-Hz Gravitational Wave Observations on the Moon and Beyond" that took place at Johns Hopkins University between September 1 and September 3, 2025. The workshop focused on…