Title: Using Logic-Based Approaches to Explore System Architectures for Systems Engineering When: Monday, April 23, 2012 at 9:00 AM Where: Love Building, Room 210
