CFPart: [email protected] - 4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology

by goessler, March 15, 2019

Call for Participation: CREST 2019

4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology

Prague, Czech Republic, April 7, 2019

https://conf.researchr.org/track/etaps-2019/crest-2019-papers

The CREST 2019 workshop is the fourth 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.

This year’s sessions center around the following topics:

  • Actual causation
    Invited Speaker: Luke Fenton-Glynn (University College London)
  • Causal discovery methods
    Invited Speakers: Holger Hermanns (Saarland University), Sisi Ma (University of Minnesota)
  • Causality, categorically
    Invited Speakers: Aleks Kissinger (Radboud University), Matteo Sammartino (University College London)
  • Causality, repairs and multi-agent systems
    Invited Speaker: Stefan Leue (University of Konstanz)

The complete program is out at: https://conf.researchr.org/track/etaps-2019/crest-2019-papers#program

CREST 2019 is co-located with ETAPS 2019: https://conf.researchr.org/home/etaps-2019

Registration is now open: https://conf.researchr.org/attending/etaps-2019/registration


---------------------------------------------------------------------------


Please contact the organising committee if you have any questions:

Georgiana Caltais; email: [email protected]

Jean Krivine; email: [email protected]