crest-etaps.github.io

Call for Papers

The CREST workshop series center around the development of formal approaches to reasoning about causation in software and systems and, respectively, foundations of causal reasoning in the philosophy of sciences. Formal approaches for causal inference, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities - in particular, AI, concurrency, model-based diagnosis, software engineering, security engineering and formal methods. Work on these topics has significantly gained speed during the last years.

The goals of this workshop are to bring together and foster exchange between researchers from the different communities, and to present and discuss recent advances and new ideas in the field. Topics of interest include, but are not limited to:

• languages and logics for causal specification and causal analysis
• derivation of causal models (e.g., during runtime verification / observation)
• actual causality in hybrid, cyber-physical and machine-learning-based systems
• causality and agency attribution in AI systems
• causality in socio-technical and legal systems
• causal reasoning in security engineering
• causality in accident analysis, safety cases and certification
• fault ascription and blaming
• accountability, explainability of algorithms and systems
• causal models inference, cause mining
• applications, implementations, tools and case studies of the above

Paper submissions should be prepared in EPTCS style. We invite full papers, to be considered for the proceedings, with a length of up to 15 pages (excluding references and appendices). We also invite short papers, that will not be included in the proceedings, with a length of up to 6 pages (excluding references and appendices) that may describe preliminary work or abstracts of manuscripts submitted for formal publication elsewhere. All contributions must be submitted via the EasyChair submission web site for CREST 2023. All contributed papers will be reviewed by at least 3 PC members. Revised versions of the selected full papers will be published as formal post-workshop proceedings in the Electronic Proceedings in Theoretical Computer Science. At least one of the authors of an accepted paper needs to register for the workshop and present the paper. Please note that CREST 2023 adheres to the policy of ETAPS 2023 with regards to physical participation, and this policy is subject to change based on the situation.