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

Proceedings XIV Jornadas sobre Programaci\'on y Lenguajes

This volume contains a selection of the papers presented at the XIV Jornadas sobre Programaci\'on y Lenguajes (PROLE 2014), held at C\'adiz, Spain, during September 17th-19th, 2014. Previous editions of the workshop were held in Madrid…

Programming Languages · Computer Science 2015-01-09 Santiago Escobar

Proceedings of NeurIPS 2019 Workshop on Machine Learning for the Developing World: Challenges and Risks of ML4D

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.

Computers and Society · Computer Science 2020-04-13 Maria De-Arteaga , Tejumade Afonja , Amanda Coston

Proceedings Twelfth International Workshop on Computing with Terms and Graphs

The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on August 1, 2022, in the Pre-FLoC workshop block (July 31-August 1) of FLoC 2022 (Federated Logic Conference 2022, July 31-August 12). As such, TERMGRAPH 2022 was a…

Logic in Computer Science · Computer Science 2023-04-04 Clemens Grabmayer

Proceedings CSR 2010 Workshop on High Productivity Computations

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…

Computational Complexity · Computer Science 2011-03-17 Farid Ablayev , Bob Coecke , Alexander Vasiliev

Proceedings of the Thirteenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG-2020)

This volume contains the proceedings of the 13th International Workshop on Programmability and Architectures for Heterogeneous Multicores. The workshop was held in conjunction with the 16th International Conference on High-Performance and…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-18 Miquel Pericas , Oscar Palomar , Vassilis Papaefstathiou , Mahmoud Eljammaly

The JEM-EUSO Collaboration: Contributions to the 39th International Cosmic Ray Conference (ICRC2025)

This is a collection of papers presented by the JEM-EUSO Collaboration at the 39th International Cosmic Ray Conference (ICRC 2025) (Geneva, Switzerland, July 14--24, 2025).

High Energy Astrophysical Phenomena · Physics 2026-01-21 M. Abdullahi , M. Abrate , J. H. Adams , D. Allard , P. Alldredge , R. Aloisio , R. Ammendola , A. Anastasio , L. Anchordoqui , V. Andreoli , A. Anzalone , E. Arnone , D. Badoni , P. von Ballmoos , B. Baret , D. Barghini , M. Battisti , R. Bellotti , A. A. Belov , M. Bertaina , M. Betts , P. Biermann , F. Bisconti , S. Blin-Bondil , M. Boezio , A. N. Bowaire , I. Buckland , L. Burmistrov , J. Burton-Heibges , F. Cafagna , D. Campana , F. Capel , J. Caraca , R. Caruso , M. Casolino , C. Cassardo , A. Castellina , K. Černý , L. Conti , A. G. Coretti , R. Cremonini , A. Creusot , A. Cummings , S. Davarpanah , C. De Santis , C. de la Taille , A. Di Giovanni , A. Di Salvo , T. Ebisuzaki , J. Eser , F. Fenu , S. Ferrarese , G. Filippatos , W. W. Finch , C. Fornaro , C. Fuglesang , P. Galvez Molina , S. Garbolino , D. Garg , D. Gardiol , G. K. Garipov , A. Golzio , C. Guépin , A. Haungs , T. Heibges , F. Isgrò , R. Iuppa , E. G. Judd , F. Kajino , L. Kupari , S. -W. Kim , P. A. Klimov , I. Kreykenbohm , J. F. Krizmanic , J. Lesrel , F. Liberatori , H. P. Lima , E. M'sihid , D. Mandát , M. Manfrin , A. Marcelli , L. Marcelli , W. Marszał , G. Masciantonio , V. Masone , J. N. Matthews , E. Mayotte , A. Meli , M. Mese , S. S. Meyer , M. Mignone , M. Miller , H. Miyamoto , T. Montaruli , J. Moses , R. Munini , C. Nathan , A. Neronov , R. Nicolaidis , T. Nonaka , M. Mongelli , A. Novikov , F. Nozzoli , T. Ogawa , S. Ogio , H. Ohmori , A. V. Olinto , Y. Onel , G. Osteria , B. Panico , E. Parizot , G. Passeggio , T. Paul , M. Pech , K. Penalo Castillo , F. Perfetto , L. Perrone , C. Petta , P. Picozza , L. W. Piotrowski , Z. Plebaniak , G. Prévôt , M. Przybylak , H. Qureshi , E. Reali , M. H. Reno , F. Reynaud , E. Ricci , M. Ricci , A. Rivetti , G. Saccà , R. E. Saraev , H. Sagawa , O. Saprykin , F. Sarazin , R. E. Saraev , P. Schovánek , V. Scotti , S. A. Sharakin , V. Scherini , H. Schieler , K. Shinozaki , F. Schröder , A. Sotgiu , R. Sparvoli , B. Stillwell , J. Szabelski , M. Takeda , Y. Takizawa , S. B. Thomas , R. A. Torres Saavedra , R. Triggiani , D. A. Trofimov , M. Unger , T. M. Venters , M. Venugopal , C. Vigorito , M. Vrábel , S. Wada , D. Washington , A. Weindl , L. Wiencke , J. Wilms , S. Wissel , I. V. Yashin , M. Yu. Zotov , P. Zuccon

Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems

This volume contains the post-proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), held as a satellite workshop of ETAPS 2016 in Eindhoven, The Netherlands, on 2-3 April 2016.

Programming Languages · Computer Science 2016-10-26 Mirco Tribastone , Herbert Wiklicky

Proceedings XVI Jornadas sobre Programaci\'on y Lenguajes

This volume contains a selection of the papers presented at the XVI Jornadas sobre Programaci\'on y Lenguajes (PROLE 2016), held at Salamanca, Spain, during September 14th-15th, 2016. Previous editions of the workshop were held in Santander…

Programming Languages · Computer Science 2017-01-12 Alicia Villanueva

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models

This volume contains the post-proceedings of the Fourteenth and the Fifteenth International Workshops on Graph Computation Models (GCM 2023 and 2024). The workshops took place in Leicester, UK on 18th July 2023 and Enschede, the Netherlands…

Logic in Computer Science · Computer Science 2025-03-26 Jörg Endrullis , Dominik Grzelak , Tobias Heindel , Jens Kosiol

Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems

This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of November 2023. FMAS 2023 was co-located with 18th International…

Artificial Intelligence · Computer Science 2023-11-16 Marie Farrell , Matt Luckcuck , Mario Gleirscher , Maike Schwammberger

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

This volume contains the proceedings of the Fifteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2018), a two-day workshop held in Austin, Texas, USA, on November 5-6, 2018, immediately after FMCAD'18. The…

Symbolic Computation · Computer Science 2018-10-30 Shilpi Goel , Matt Kaufmann

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th, 2012 in Budapest. The program included 1 invited talk, 9…

Programming Languages · Computer Science 2013-02-04 Nicos Angelopoulos , Roberto Bagnara

Proceedings of the WAVES 2024 Conference

Proceedings of 16th International Conference on Mathematical and Numerical Aspects of Wave Propagation held at the Harnack House, Berlin, Germany, 30 June - 5 July, 2024.

Numerical Analysis · Mathematics 2025-03-14 Laurent Gizon

Proceedings of the 1st International Workshop on Robot Learning and Planning (RLP 2016)

Robotics · Computer Science 2016-10-11 Nancy Amato , Charles Anderson , Gregory Chirikjian , Hamidreza Chitsaz , Vishnu Desaraju , Chinwe Ekenna , Kris Hauser , Geoff Hollinger , Reza Iraji , Minwoo Lee , Qianli Ma , Seth McCammon , Nathan Michael , Shawna Thomas , Diane Uwacu , Yan Yan

Evo* 2023 -- Late-Breaking Abstracts Volume

Volume with the Late-Breaking Abstracts submitted to the Evo* 2023 Conference, held in Brno (Czech Republic), from 12 to 14 of April. These papers present ongoing research and preliminary results investigating on the application of…

Neural and Evolutionary Computing · Computer Science 2024-03-22 A. M. Mora , A. I. Esparcia-Alcázar

Experimental Conference Summary

Experimental summary talk given at International Conference on Ultrarelativistic Nucleus-Nucleus Collisions (QM2001), Stony Brook, New York, 15-20 Jan 2001.

Nuclear Experiment · Physics 2009-11-07 Hans J. Specht

Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology

The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in 5 invited speakers and 4 regular papers, whose selection was…

Artificial Intelligence · Computer Science 2019-10-31 Georgiana Caltais , Jean Krivine

Proceedings of the Third International Conference on Cloud and Robotics (ICCR2016)

The 3rd International conference on Cloud and Robotics (ICCR2016) was held November 23-23, 2016 in Saint Quentin (France). ICCR is the premier gathering of practitioners and researchers interested in how to bring the power of Cloud…

Robotics · Computer Science 2017-06-20 Lei Zhang , Huaxi , Zhang

Les Houches 2011: Physics at TeV Colliders New Physics Working Group Report

We present the activities of the "New Physics" working group for the "Physics at TeV Colliders" workshop (Les Houches, France, 30 May-17 June, 2011). Our report includes new agreements on formats for interfaces between computational tools,…

High Energy Physics - Phenomenology · Physics 2012-04-23 G. Brooijmans , B. Gripaios , F. Moortgat , J. Santiago , P. Skands , D. Albornoz Vásquez , B. C. Allanach , A. Alloul , A. Arbey , A. Azatov , H. Baer , C. Balázs , A. Barr , L. Basso , M. Battaglia , P. Bechtle , G. Bélanger , A. Belyaev , K. Benslama , L. Bergström , A. Bharucha , C. Boehm , M. Bondarenko , O. Bondu , E. Boos , F. Boudjema , T. Bringmann , M. Brown , V. Bunichev , S. Calvet , M. Campanelli , A. Carmona , D. G. Cerdeño , M. Chala , R. S. Chivukula , D. Chowdhury , N. D. Christensen , M. Cirelli , S. Cox , K. Cranmer , J. Da Silva , T. Delahaye , A. De Roeck , A. Djouadi , E. Dobson , M. Dolan , F. Donato , G. Drieu La Rochelle , G. Duda , C. Duhr , B. Dumont , J. Edsjö , J. Ellis , C. Evoli , A. Falkowski , M. Felcini , B. Fuks , E. Gabrielli , D. Gaggero , S. Gascon-Shotkin , D. K. Ghosh , A. Giammanco , R. M. Godbole , P. Gondolo , T. Goto , D. Grasso , P. Gris , D. Guadagnoli , J. F. Gunion , U. Haisch , L. Hartgring , S. Heinemeyer , M. Hirsch , J. Hewett , A. Ismail , T. Jeltema , M. Kadastik , M. Kakizaki , K. Kannike , S. Khalil , J-L. Kneur , M. Krämer , S. Kraml , S. Kreiss , J. Lavalle , R. Leane , J. Lykken , L. Maccione , F. Mahmoudi , M. Mangano , S. P. Martin , D. Maurin , G. Moreau , S. Moretti , I. Moskalenko , G. Moultaka , M. Muhlleitner , I. Niessen , B. O'Leary , E. Orlando , P. Panci , G. Polesello , W. Porod , T. Porter , S. Profumo , H. Prosper , A. Pukhov , A. Racioppi , M. Raidal , M. Rausch de Traubenberg , A. Renaud , J. Reuter , T. G. Rizzo , T. Robens , A. Y. Rodríguez-Marrero , P. Salati , C. Savage , P. Scott , S. Sekmen , A. Semenov , C. -L. Shan , C. Shepherd-Themistocleous , E. H. Simmons , P. Slavich , C. Speckner , F. Staub , A. Strong , R. Taillet , F. S. Thomas , M. C. Thomas , I. Tomalin , M. Tytgat , M. Ughetto , L. Valéry , D. G. E. Walker , A. Weiler , S. M. West , C. D. White , A. J. Williams , A. Wingerter , C. Wymant , J. -H. Yu , C. -P. Yuan , D. Zerwas

Proceedings 2nd International Workshop on Linearity

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…

Logic in Computer Science · Computer Science 2012-11-16 Sandra Alves , Ian Mackie