Facebook
  Twitter

Presentations

  • CMACS/AVACS Workshop & PI Meeting, Carnegie Mellon University, November 20-22, 2013

  • CMACS PI Meeting, Stonybrook University, October 18-19, 2012

  • CMACS/ARiSE Workshop, Austrian Embassy, Washington, DC, September 14, 2012 PDF

  • CMACS Virtual PI Meeting, April 20 and 27, 2012

  • CMACS Mid-Term Site Visit Review, Carnegie Mellon University, November 3-4, 2011

  • CMACS Industry Workshop on Verification of Embedded Control Systems Carnegie Mellon University, October 20, 2011

  • CMACS PI Review Meeting University of Maryland, April 28-29, 2011

  • An Introduction to Model Checking Scott Smolka. Lehman College Workshop on Atrial Fibrillation, January 21, 2011.

  • CMACS PI Review Meeting at NYU October 28-29, 2010, New York University

  • CMACS NSF meeting Carnegie Mellon University, March 4-5, 2010

  • CMACS Kick-off meeting Carnegie Mellon University, October 31 - November 1st, 2009

  • CMACS Presentation to NSF, National Science Foundation, June 2009
  • Content for class "clear" Goes Here
    nsfSupported by an Expeditions in Computing award from the National Science Foundation