English
Related papers

Related papers: Report on TBAS 2012: Workshop on Task-Based and Ag…

200 papers

This document contains a summary of the workshop which took place on 22 - 24 February 2012 at the Kavli Institute of Cosmological Physics in the University of Chicago. The goal of the workshop was to discuss the physics reach of the…

We present the TAPAS contribution to the Shared Task on Statement Verification and Evidence Finding with Tables (SemEval 2021 Task 9, Wang et al. (2021)). SEM TAB FACT Task A is a classification task of recognizing if a statement is…

Computation and Language · Computer Science 2021-04-05 Thomas Müller , Julian Martin Eisenschlos , Syrine Krichene

This is a survey of open problems in different parts of combinatorial and additive number theory. The paper is based on lectures at the Centre de Recerca Matematica in Barcelona on January 23 and January 25, 2008.

Number Theory · Mathematics 2016-12-30 Melvyn B. Nathanson

This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software…

Software Engineering · Computer Science 2014-03-28 Holger Schlingloff , Alexander K. Petrenko

This volume contains the proceedings of EXPRESS/SOS 2025: the Combined 32nd International Workshop on Expressiveness in Concurrency and the 22nd Workshop on Structural Operational Semantics, which was held in Aarhus, Denmark, as an…

Logic in Computer Science · Computer Science 2025-10-28 Cinzia Di Giusto , Giorgio Bacci

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

Programming Languages · Computer Science 2023-04-13 Ilaria Castellani , Alceste Scalas

This paper reports the activities and outcomes in the Workshop on Grasping and Manipulation Datasets that was organized under the International Conference on Robotics and Automation (ICRA) 2016. The half day workshop was packed with nine…

Robotics · Computer Science 2016-09-09 Matteo Bianchi , Jeannette Bohg , Yu Sun

This volume contains the proceedings of ICE'18, the 11th Interaction and Concurrency Experience, which was held in Madrid, Spain on the 20th and 21st of June 2018 as a satellite event of DisCoTec'18. The ICE workshop series features a…

Logic in Computer Science · Computer Science 2018-10-05 Massimo Bartoletti , Sophia Knight

Dagstuhl Seminar 19461 "Conversational Search" was held on 10-15 November 2019. 44~researchers in Information Retrieval and Web Search, Natural Language Processing, Human Computer Interaction, and Dialogue Systems were invited to share the…

Information Retrieval · Computer Science 2020-05-19 Avishek Anand , Lawrence Cavedon , Matthias Hagen , Hideo Joho , Mark Sanderson , Benno Stein

This paper presents the overview of the AuTexTification shared task as part of the IberLEF 2023 Workshop in Iberian Languages Evaluation Forum, within the framework of the SEPLN 2023 conference. AuTexTification consists of two subtasks: for…

Computation and Language · Computer Science 2024-01-10 Areg Mikael Sarvazyan , José Ángel González , Marc Franco-Salvador , Francisco Rangel , Berta Chulvi , Paolo Rosso

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

Programming Languages · Computer Science 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

This volume contains the proceedings of the 18th International workshop AUTOMATA and the 3rd international symposium JAC. AUTOMATA workshop series aims at gathering researchers from all over the world working in fundamental aspects of…

Formal Languages and Automata Theory · Computer Science 2012-08-14 Enrico Formenti

This volume contains the joint post-proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning (PERR) and the 6th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place in Prague, Czech…

Logic in Computer Science · Computer Science 2019-07-09 Emanuele De Angelis , Grigory Fedyukovich , Nikos Tzevelekos , Mattias Ulbrich

Understanding why real-world events occur is important for both natural language processing and practical decision-making, yet direct-cause inference remains underexplored in evidence-rich settings. To address this gap, we organized…

Computation and Language · Computer Science 2026-03-24 Pengfei Cao , Mingxuan Yang , Yubo Chen , Chenlong Zhang , Mingxuan Liu , Kang Liu , Jun Zhao

Volume containing the Late-Breaking Abstracts submitted to the Evo* 2025 Conference, held in Trieste (Italy) from April 23rd to 25th. These extended abstracts showcase ongoing research and preliminary findings exploring the application of…

Neural and Evolutionary Computing · Computer Science 2025-11-25 A. M. Mora , A. I. Esparcia-Alcázar , M. S. Cruz

The ESO workshop "Ground-based thermal infrared astronomy" was held on-line October 12-16, 2020. Originally planned as a traditional in-person meeting at ESO in Garching in April 2020, it was rescheduled and transformed into a fully on-line…

Instrumentation and Methods for Astrophysics · Physics 2021-06-16 Leo Burtscher , Valentin D. Ivanov , Mario van den Ancker

This article presents the experiments and results obtained by the GRESEL team in the IberLEF 2025 shared task PastReader: Transcribing Texts from the Past. Three types of experiments were conducted with the dual aim of participating in the…

Computer Vision and Pattern Recognition · Computer Science 2025-07-08 Yanco Amor Torterolo-Orta , Jaione Macicior-Mitxelena , Marina Miguez-Lamanuzzi , Ana García-Serrano

We introduce the problem of Task Assignment and Sequencing (TAS), which adds the timeline perspective to expert crowdsourcing optimization. Expert crowdsourcing involves macrotasks, like document writing, product design, or web development,…

Social and Information Networks · Computer Science 2016-01-18 Heinz Schmitz , Ioanna Lykourentzou

This volume contains the proceedings of TERMGRAPH 2016, the Ninth International Workshop on Computing with Terms and Graphs which was held on April 8, 2016 in Eindhoven, The Netherlands, as a satellite event of the European Joint…

Logic in Computer Science · Computer Science 2016-09-13 Andrea Corradini , Hans Zantema

This volume contains the proceedings of the 8th Workshop on Security Issues in Concurrency (SecCo 2010). The workshop was held in Paris, France on August 30th, 2010, as a satellite workshop of CONCUR'10. The aim of the SecCo workshop series…

Cryptography and Security · Computer Science 2011-02-28 Konstantinos Chatzikokolakis , Véronique Cortier