English
Related papers

Related papers: CHC-COMP 2023: Competition Report

200 papers

This document summarizes the prospective physics plans of the French QCD and Heavy-Ion community, including the experimental programs at the LHC Run 5 and beyond and future colliders at CERN, within the context of the French contribution to…

In this paper, we present the details of Women in Computer Vision Workshop - WiCV 2023, organized alongside the hybrid CVPR 2023 in Vancouver, Canada. WiCV aims to amplify the voices of underrepresented women in the computer vision…

Computer Vision and Pattern Recognition · Computer Science 2023-09-25 Doris Antensteiner , Marah Halawa , Asra Aslam , Ivaxi Sheth , Sachini Herath , Ziqi Huang , Sunnie S. Y. Kim , Aparna Akula , Xin Wang

This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015) which was held on 31 August 2015 in Madrid,…

Logic in Computer Science · Computer Science 2015-08-27 Silvia Crafa , Daniel E. Gebler

We present a method for verifying properties of time-aware business processes, that is, business process where time constraints on the activities are explicitly taken into account. Business processes are specified using an extension of the…

Logic in Computer Science · Computer Science 2016-08-10 Emanuele De Angelis , Fabio Fioravanti , Maria Chiara Meo , Alberto Pettorossi , Maurizio Proietti

This report summarizes the results of the first edition of the Large Language Model (LLM) Testing competition, held as part of the DeepTest workshop at ICSE 2026. Four tools competed in benchmarking an LLM-based car manual information…

Artificial Intelligence · Computer Science 2026-04-15 Lev Sorokin , Ivan Vasilev , Samuele Pasini

This paper reports the results of an experiment in high energy physics: using the power of the "crowd" to solve difficult experimental problems linked to tracking accurately the trajectory of particles in the Large Hadron Collider (LHC).…

This is the first edition of the tool competition on testing self-driving cars (SDCs) at the International Conference on Software Testing, Verification and Validation (ICST). The aim is to provide a platform for software testers to submit…

Software Engineering · Computer Science 2025-02-21 Christian Birchler , Stefan Klikovits , Mattia Fazzini , Sebastiano Panichella

The Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) was co-located with ETAPS 2009 in the city of York, England. The workshop took place on Sunday 22nd March 2009.…

Programming Languages · Computer Science 2010-02-09 Alastair R. Beresford , Simon Gay

Interpretability techniques are valuable for helping humans understand and oversee AI systems. The SaTML 2024 CNN Interpretability Competition solicited novel methods for studying convolutional neural networks (CNNs) at the ImageNet scale.…

This report describes our submission to BHI 2023 Data Competition: Sensor challenge. Our Audio Alchemists team designed an acoustic-based COVID-19 diagnosis system, Cough to COVID-19 (C2C), and won the 1st place in the challenge. C2C…

Audio and Speech Processing · Electrical Eng. & Systems 2023-11-02 Woo-Jin Chung , Miseul Kim , Hong-Goo Kang

In anticipation of the completion of the High-Luminosity Large Hadron Collider (HL-LHC) programme by the end of 2041, CERN is preparing to launch a new major facility in the mid-2040s. According to the 2020 update of the European Strategy…

We summarize the evaluation of the first Automated Legal Question Answering Competition (ALQAC 2021). The competition this year contains three tasks, which aims at processing the statute law document, which are Legal Text Information…

We provide a summary of the sixth edition of the CASE workshop that is held in the scope of RANLP 2023. The workshop consists of regular papers, three keynotes, working papers of shared task participants, and shared task overview papers.…

Computation and Language · Computer Science 2023-12-05 Ali Hürriyetoğlu , Hristo Tanev , Osman Mutlu , Surendrabikram Thapa , Fiona Anting Tan , Erdem Yörük

This record contains the proceedings of the 2020 Workshop on Assessing, Explaining, and Conveying Robot Proficiency for Human-Robot Teaming, which was held in conjunction with the 2020 ACM/IEEE International Conference on Human-Robot…

Robotics · Computer Science 2020-05-14 Aaron Steinfeld , Michael Goodrich

PLACES 2013 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) was the sixth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

Programming Languages · Computer Science 2013-12-10 Nobuko Yoshida , Wim Vanderbauwhede

The 5th edition of the International Conference on Cloud and Robotics (ICCR 2018 - http://cloudrobotics.info) will be held on November 12-14 2018 in Paris and Saint-Quentin, France. The conference is a co-event with GDR ALROB and the…

Robotics · Computer Science 2019-03-13 Huaxi , Zhang , Jacques Malenfant

The 13th Symposium on Combinatorial Search (SoCS) was held May 26-28, 2020. Originally scheduled to take place in Vienna, Austria, the symposium pivoted toward a fully online technical program in early March. As an in-person event SoCS…

Computers and Society · Computer Science 2020-06-23 Daniel Harabor , Mauro Vallati

This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014) which was held on 1st September 2014 in Rome,…

Logic in Computer Science · Computer Science 2014-08-07 Johannes Borgström , Silvia Crafa

The Monte Carlo Computational Summit was held on the campus of the University of Notre Dame in South Bend, Indiana, USA on 25--26 October 2023. The goals of the summit were to discuss algorithmic and software alterations required for…