ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

CREST 2019 - 4rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2019)

Date2019-04-06 - 2019-04-11

Deadline2018-11-16

VenuePrague, Czech Republic Czech Republic

Keywords

Websitehttps://www.etaps.org/2019/workshops

Topics/Call fo Papers

CREST 2019 is the third in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually some form of failures -, and explaining why they occurred, are increasingly in the focus of several, disjoint communities.
The main objective of CREST is to bring together researchers and practitioners from industry and academia in order to enable discussions how explicit and implicit reasoning about causation is performed. A further objective is to link to the foundations of causal reasoning in the philosophy of sciences and to causal reasoning performed in other areas of computer science, engineering, and beyond.
Organizers: Georgiana Caltais, Jean Krivine

Last modified: 2018-12-29 20:59:35