5.12.16 Duraisamy

Topic: Big Data Analytics and Machine Intelligence Seminar #13: Creating an Ecosystem for Data-Enabled Modeling of Multi-Scale Physical Systems  Speaker: Dr. Karthik Duraisamy, University of Michigan When: May 12, 2016 Time: 9:30 –…

5.5.16 Feliu

Title: “Logic-Based Techniques for Program Analysis and Specification Synthesis” Speaker: Marco Feliú Date: May 5, 2016 Time: 10:30am – 11:30am Location: NIA Room 137 Abstract: Program analysis can benefit from logic formalisms in…