Reasoning about ACtions and Events over Streams (RACES)

Held as part of KR 2020
September 12-14, 2020
Rhodes, Greece

=============
Overview
=============

In order to obtain timely insights and implement reactive and proactive measures, many contemporary applications require reasoning about actions and events over streams of continuously arriving data. For example, in a wide range of applications, critical activities are formalised as events that have to be detected in real-time, or even forecast ahead of time. Examples include the recognition of attacks on computer network nodes, human activities on video content, emerging stories and trends on the Social Web, traffic and transport incidents in smart cities, error conditions in smart energy grids, violations of maritime regulations, detecting cardiac arrhythmia, and tracking epidemic spread. In each application, reasoning about events and actions allows one to make sense of streaming data, react accordingly and prepare for counter-measures.

Recent years have witnessed increased activity in diverse fields of Computer Science on topics related to reasoning about actions and events over data streams: temporal representation and reasoning, temporal logic, action languages, commonsense reasoning, reasoning under uncertainty, online relational learning, distributed reasoning, incremental reasoning, theoretical complexity results related to processing database queries under updates, expressiveness and complexity of logics in dynamic settings, and so on.

=============
Goal
=============

The workshop aims to bring together researchers working in a variety of areas, such as knowledge representation, machine learning, database systems, complexity theory, distributed systems and business process modeling, and thus foster community building on reasoning on actions and events over streams.

=============
Format
=============

We follow a successful format adopted in previous (KR) workshops, such as the KR 2018 workshop on Reasoning about Actions and Processes, and invite submissions for presentations, not papers. We welcome a presentation on your favorite recent technical work, position papers, or open problems with clear and concise formulations of current challenges. The contributed talks will be 15 minutes long. All sessions will be designed to promote interaction between the attendees by holding frequent discussion periods for analysis and critique. The workshop will also have panel sessions on important emerging issues for the field and longer keynote talks.
Submissions

Each submission must be 1 or 2 pages long including references (use the KR style), and must name the speaker that will give the presentation in the workshop. There are no formal proceedings and we encourage submissions of work presented or submitted elsewhere. No copyright transfer will be required, only permission to post the abstract on the workshop site.

=============
Topics of interest include, but are not limited to:
=============

-Action languages for data streams
-Temporal logics for data streams
-Online relational learning
-Composite event recognition
-Composite event forecasting
-Online probabilistic reasoning
-Incremental reasoning
-Data stream models
-Language expressivity for stream reasoning
-Complexity analysis of stream reasoning
-Continuous query processing
-Activity recognition
-Business process modeling for stream reasoning
-Numerical and symbolic learning for stream reasoning
-Explainability in stream reasoning
-Applications of reasoning about actions and events over streams

Papers can be submitted via EasyChair (select the RACES workshop/track).

=============
Important Dates
=============

-Submission
22 June 2020 (extended deadline)
-Notification
13 July 2020
-Workshop dates
12-14 September 2020

=============
Organizing Committe
=============

-Alexander Artikis University of Piraeus & NCSR Demokritos
-Thomas Eiter Technical University Vienna
-Alessandro Margara Politecnico di Milano
-Angelo Montanari University of Udine
-Boris Motik Oxford University
-Stijn Vansummeren Université Libre de Bruxelles

=============
Programme Committee
=============

-Han van der Aa (HU Berlin, DE)
-Diego Calvanese (Free University of Bozen-Bolzano, IT)
-Emanuele Della Valle (Polytechnic University of Milan, IT)
-David Eyers (University of Otago, NZ)
-Avigdor Gal (Technion – Haifa, IL)
-Nikos Giatrakos (Technical University of Crete, GR)
-Sylvain Hallé (University of Quebec at Chicoutimi, CA)
-Fredrik Heintz (Linköping University, SE)
-Boris Koldehofe (University of Groningen, NL)
-Danh Le Phuoc (TU Berlin, DE)
-Wim Martens (Universität Bayreuth, DE)
-Ruben Mayer (TU München, DE)
-Rob Miller (University College London, UK)
-Josiane Xavier Parreira (Siemens AG, Austria)
-Dimitris Plexousakis (FORTH, GR)
-Cristian Riveros (PUC – Santiago de Chile, CL)
-Konstantin Schekotihin (Universitat Klagenfurt, AT)
-Sabri Skhiri (EURA NOVA – Mont-Saint-Guibert, BE)
-Kostas Stathis (Royal Holloway University of London, UK)
-Martin Ugarte (Millenium Institute – Santiago de Chile, CL)
-Jacopo Urbani (VU University Amsterdam, NL)
-Przemysław Andrzej Wałęga (University of Oxford, UK)
-Matthias Weidlich (HU Berlin, DE)