Erich Grädel (RWTH Aachen) Will deflation lead to depletion? On non-monotone fixed point inductions ( pdf slides )

John Harrison (Intel corp.) Formal verification at Intel ( pdf slides )

Marta Kwiatkowska (U. Birmingham) Model checking for probability and time: from theory to practice ( pdf slides )

John McCarthy (Stanford U.) Advice about nonmonotonic reasoning in AI

Invited Tutorials

Martín Abadi (UC Santa Cruz) Logic in Access Control ( pdf slides )

Benjamin Pierce (U. Pennsylvania) Types and Programming Languages: The Next Generation ( pdf slides )