Information about the weekly seminar can be found on the Events page.

Spring 2015

Fall 2014

Spring 2011

  • G22.3033-011 - Program Semantics, Analysis, and Verification by Abstract Interpretation, Patrick Cousot

Fall 2010

  • G22.3033-007 - Topics in Automated Deduction, Morgan Deters

Fall 2009

  • G22.3033-011 - Analysis of Reactive Systems, Algorithmic and Deductive Methods, Amir Pnueli
  • G22.2390-001 - Logic in Computer Science, Clark Barrett

Spring 2009

  • G22.3033-011 - Program Semantics, Analysis, and Verification by Abstract Interpretation, Patrick Cousot
  • G22.3033-010 - Topics in Automated Deduction, Clark Barrett

Fall 2008

  • G22.2390-001 - Logic in Computer Science, Clark Barrett & Amir Pnueli

Fall 2007

  • G22.2390-001 - Logic in Computer Science, Clark Barrett
  • G22.3033-002 - Deductive Verification of Reactive Systems, Amir Pnueli

Spring 2007

Fall 2006:

Spring 2006