CS Events
-
Automated Program Verification via Data-Driven Inference
Event Type: Faculty Candidate Talk
Speaker: He ZhuLocation: CoRE A 301
Event Date: 10:30am
-
Approximation with Error Bounds in Spark
Event Type: Qualifying Exam
Speaker: Guangyan HuLocation: CoRE A (301)
Event Date: 01:00pm