相关论文: Proceedings Eighth International Conference on App…

Collection of manuscripts accepted for presentation at the Student Forum and Fast Abstracts tracks of the 18th European Dependable Computing Conference (EDCC 2022).

The LPC EFT workshop was held April 25-26, 2024 at the University of Notre Dame. The workshop was organized into five thematic sessions: "how far beyond linear" discusses issues of truncation and validity in interpretation of results with…

This is the Proceedings of the First Conference on Uncertainty in Artificial Intelligence, which was held in Los Angeles, CA, July 10-12, 1985

The Second Biennal African Conference on Fundamental and Applied Physics (ACP) took place in March 2022. The scientific program included three summary reports on the African Strategy for Fundamental and Applied Physics (ASFAP). Here, the…

This is the write-up of the summary talk on theory activities in the heavy-ion community as presented at Quark Matter 2025. It contains a (biased) selection of results from the parallel program of the conference. The progress is reported…

This volume contains the papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2021 and TFPIE 2022 that took place online, in collaboration with LambdaDays 2021/22 in Krak\'ow, Poland. TFPIE stands for Trends in…

This volume contains the papers that were presented at the second international workshop on Trends in Tree Automata and Transducers (TTATT 2013) which took place on October 19th, 2013 in Hanoi/Vietnam. The workshop was colocated with the…

This document summarizes the discussions at the program "Precision QCD with the Electron Ion Collider", held from May to June 2025 at the Institute for Nuclear Theory (INT) at the University of Washington. The program was co-sponsored by…

In this third installment of SETI in 20xx, we very briefly and subjectively review developments in SETI in 2022. Our primary focus is 80 papers and books published or made public in 2022, which we sort into six broad categories: results…

This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Turin, Italy, on April…

Here, we attempt to summarize the activities of Track 3 of the 17th International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT 2016).

This volume contains the proceedings of the Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2015, a two-day workshop held in Austin, Texas, USA, on October 1-2, 2015. ACL2 workshops occur at…

This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with…

This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 28th International Workshop on Expressiveness in Concurrency and the 18th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop…

This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from…

This is the Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence, which was held on Catalina Island, CA, July 8 - 11 2010.

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 the Twenty-Second Conference on Uncertainty in Artificial Intelligence, which was held in Cambridge, MA, July 13 - 16 2006.

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Conspiracy theories have become a prominent and concerning aspect of online discourse, posing challenges to information integrity and societal trust. As such, we address conspiracy theory detection as proposed by the ACTI @ EVALITA 2023…