CREST 2019 - 4rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2019)
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
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
Other CFPs
- 10th International workshop on Developments in Implicit Computational complExity / 6th Workshop on Foundational and Practical Aspects of Resource Analysis (DICE-FOPARA 2019)
- 14th International Workshop on Games for Logic and Programming Languages (GaLoP 2019)
- 6th International Workshop on Horn Clause Verification and Synthesis (HCVS 2019)
- 6th International Workshop on Hybrid Systems and Biology (HSB 2019)
- Interactive Workshop on the Industrial Application of Verification and Testing (InterAVT 2019)
Last modified: 2018-12-29 20:59:35