Future Colloquia Presentations No Events scheduled. Check again soon. Past Colloquia Presentations Semantic Foundations for Live Programming Environments Cyrus Omar Wednesday, Apr. 03, 2019 10:00 am Wednesday, Apr. 03, 2019 11:00 am Johnson 226 Quality of Time: A New Perspective to Design Cyber-Physical Systems Fatima Anwar Friday, Mar. 22, 2019 10:00 am Friday, Mar. 22, 2019 11:00 am KEC 1005 Automated Support for Improving Software Quality Before and After Release Mattia Fazzini Wednesday, Mar. 20, 2019 10:00 am Wednesday, Mar. 20, 2019 11:00 am KEC 1007 Advancing Energy Testing of Android Reyhaneh Jabbarvand Monday, Mar. 18, 2019 10:00 am Monday, Mar. 18, 2019 11:00 am KEC 1005 Automated IoT Safety and Security Analysis Berkay Celik Thursday, Mar. 14, 2019 10:00 am Thursday, Mar. 14, 2019 11:00 am KEC 1007 Structured Approaches to Natural Language Understanding Snigdha Chaturvedi Wednesday, Mar. 13, 2019 10:00 am Wednesday, Mar. 13, 2019 11:00 am KEC 1007 Internet-connected and Insecure at All Speeds: Wireless Embedded Systems Saurabh Bagchi Tuesday, Mar. 12, 2019 10:00 am Tuesday, Mar. 12, 2019 11:00 am KEC 1007 Automated Program Verification via Data-Driven Inference He Zhu Tuesday, Mar. 12, 2019 2:00 pm Tuesday, Mar. 12, 2019 3:00 pm KEC 1007 Experiences in Hydropower Sean Brosig Monday, Mar. 11, 2019 4:00 pm Monday, Mar. 11, 2019 4:50 pm Weniger Hall 151 Towards Intelligent Agents That Can See, Talk, and Act Stefan Lee Monday, Mar. 11, 2019 10:00 am Monday, Mar. 11, 2019 11:00 am KEC 1007 Bringing Powerful Machine-learning Systems to Daily-life Devices Yingyan Lin Monday, Mar. 04, 2019 4:00 pm Monday, Mar. 04, 2019 4:50 pm Weniger Hall 151 Towards More Responsible Data-driven Decisions Abolfazl Asudeh Monday, Mar. 04, 2019 10:00 am Monday, Mar. 04, 2019 11:00 am KEC 1007 Safe, Real-Time Software Architectures for Cyber-Physical Systems Renato Mancuso Friday, Mar. 01, 2019 10:00 am Friday, Mar. 01, 2019 11:00 am KEC 1005 Empiricism-Informed Secure System Design: From Improving Passwords to Helping Domestic Violence Victims Rahul Chatterjee Thursday, Feb. 28, 2019 10:00 am Thursday, Feb. 28, 2019 11:00 am KEC 1007 A unified program synthesis framework for automating end-user programming tasks Xinyu Wang Tuesday, Feb. 26, 2019 10:00 am Tuesday, Feb. 26, 2019 11:00 am KEC 1007 Wildbook - Photographic Censusing of Wildlife Jason Parham Monday, Feb. 25, 2019 4:00 pm Monday, Feb. 25, 2019 4:50 pm Weniger Hall 151 Modeling and Control for Robotic Assistants Monroe D. Kennedy III Wednesday, Feb. 20, 2019 10:00 am Wednesday, Feb. 20, 2019 11:00 am Rogers 226 The Challenge of Ant Sized Robots Ryan St. Pierre Tuesday, Feb. 19, 2019 10:00 am Tuesday, Feb. 19, 2019 11:00 am Rogers 226 Autonomous mobile systems: modelling, control and planning Corina Barbalata Monday, Feb. 18, 2019 10:00 am Monday, Feb. 18, 2019 11:00 am Rogers 226 Robotics in the Real World: Developing Reliable Field-Robotic Systems via Mathematical Guarantees and In-Field Testing Joshua Mangelson Thursday, Feb. 14, 2019 10:00 am Thursday, Feb. 14, 2019 11:00 am Rogers 226 Pagination First page « First Previous page ‹ Previous Page 1 Page 2 Page 3 Current page 4 Page 5 Page 6 Page 7 Page 8 Page 9 … Next page Next › Last page Last »
