CS Events
February 21
-
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
February 22
-
The multimodality of diagrams - insights from linguistics for computational processing?
Event Type: Computer Science Department Colloquium
Speaker: Tuomo HiippalaLocation: CoRE A 301
Event Date: 10:30am