Designing Formally Correct Intermittent Systems CS Department Colloquium Series Milijana Surbatovich, Carnegie Mellon University February 27 12:30 pm Computer Science Building, 105 See event website for additional details and how to view or participate.