Carnegie Mellon Summer School in Logic and Formal Epistemology

This web page provides links to some of the materials used in the 2008 summer school.

Causal statistical inference

Prof. Danks can make his slides available, on request.

Logic and formal verification

For lecture notes, background, references, and more, see the resource page for this session.