BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Causality and Responsibility in Formal Verification and Beyond - H
 ana Chockler (King's College London)
DTSTART:20160927T131500Z
DTEND:20160927T140000Z
UID:TALK67610@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:In this talk\, I will (briefly) introduce the theory of actual
  causality as  defined by Halpern and Pearl. This theory turns out to be e
 xtremely useful in  various areas of computer science (and also\, perhaps 
 surprisingly\, psychology)  due to a good match between the results it pro
 duces and our intuition. I will  outline the evolution of the definitions 
 of actual causality and intuitive  reasons for the many parameters in the 
 definition using examples from formal  verification. I will also introduce
  the definitions of responsibility and blame\,  which quantify the definit
 ion of causality. <br> <br>We will look in more detail at the applications
  of causality to formal  verification\, namely\, explanation of counter-ex
 amples\, refinement of coverage  metrics\, and symbolic trajectory evaluat
 ion. It is interesting to note that  explanation of counter-examples using
  the definition of actual causality is  implemented in an industrial tool 
 and produces results that are usually  consistent with the users&rsquo\; i
 ntuition\, hence it is a popular and widely used  feature of the tool. <br
 > <br>Finally\, I will briefly discuss recent applications of causality to
  legal  reasoning and to understanding of political phenomena\, and will c
 onclude with  outlining promising future directions. <br> <span><br>The ta
 lk is based on many papers written by many people\, and is not limited  to
  my own research. The talk is reasonably self-contained.</span>
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR