Incorporating Real-World Semantics into Program Analysis of Robot Systems
in CS Seminar
Speakers: John-Paul Ore
Date and Time: Monday, February 18, 2019 from 11:00 AM to 12:00 PM
Location: Research Hall 163
Probabilistic Reasoning Meets Heuristic Search
in GRAND Seminar
Speakers: Rina Dechter, Donald Bren School of Information and Computer Sciences, UC Irvine
Date and Time: Friday, February 15, 2019 from 11:00 AM to 12:00 PM
Location: JC Gold Room
Evolution-Aware Runtime Verification
in CS Seminar
Speakers: Owolabi Legunsen
Date and Time: Friday, February 15, 2019 from 11:00 AM to 12:00 PM
Location: Research Hall 163
Intelligent Software Engineering: Synergy between AI and Software Engineering
in Distinguished Lecture Series
Speakers: Tao Xie, University of Illinois at Urbana-Champaign
Date and Time: Friday, February 08, 2019 from 11:00 AM to 12:00 PM
Location: Research Hall 163
Human-centered Computational Design driven by Perceptual Data and Creative AI
in CS Seminar
Speakers: Craig Yu
Date and Time: Friday, February 01, 2019 from 01:00 PM to 02:00 PM
Location: ENGR 4201
Revisiting Quantitative Approaches to System Design in the Power Age
in SANG Seminar
Speakers: Dr. Kirk W. Cameron
Date and Time: Friday, February 01, 2019 from 11:00 AM to 12:00 PM
Location: ENGR 3507