Events

Preceding Week

27 April - 03 May, 2025

Following Week

Quantum Hoare Logic: Towards Automatic Verification of Quantum Programs
Event Type: Distinguished Lecture Series
Speaker: Professor Mingsheng Ying

Location: CoRE 301
Event Date: 10:30am - 12:00pm
Efficient and Scalable Management of Vector Data with Attribute Predicate Constraints
Event Type: PhD Defense
Speaker: Chaoji Zuo

Location: CoRE 305
Event Date: 11:00am - 12:30pm

Instruction-conditioned RL
Event Type: Qualifying Exam
Speaker: Wensen Mao

Location: CoRE 305
Event Date: 02:00pm - 03:30pm
Enhancing Visual Understanding with Large Foundational Models
Event Type: PhD Defense
Speaker: Shiyu Zhao

Location: CoRE 301
Event Date: 03:00pm - 05:00pm