Date: Wednesday, August 26, 2015, 11:00am to 12:00pm Location: 32-D677Machine learning methods for formal analysis of Continuous Time Markov Chains Export subscribe iCal