Events
February, 2025
-
On The Myths of Reasoning Language Models: What is Next?
Event Type: Distinguished Lecture Series
Speaker: Dan RothLocation: CoRE 301
Event Date: Tuesday, February 04, 2025 10:30am - 12:00pm
April, 2025
-
Quantum Hoare Logic: Towards Automatic Verification of Quantum Programs
Event Type: Distinguished Lecture Series
Speaker: Professor Mingsheng YingLocation: CoRE 301
Event Date: Tuesday, April 29, 2025 10:30am - 12:00pm
May, 2025
-
Complexity in the Era of AI and Data-Driven Computing
Event Type: Distinguished Lecture Series
Speaker: Lance FortnowLocation: CoRE 301
Event Date: Monday, May 12, 2025 10:30am - 12:00pm
August, 2025
-
The Evolution of Processing Units: From CPU and GPU to NPU and QPU
Event Type: Distinguished Lecture Series
Speaker: Won Woo RoLocation: CoRE 301
Event Date: Tuesday, August 05, 2025 10:30am - 12:00pm
October, 2025
-
Approximation Algorithms: Some ancient, some new - the good, the bad and the ugly
Event Type: Distinguished Lecture Series
Speaker: Professor Samir KhullerLocation: CoRE 301
Event Date: Thursday, October 16, 2025 10:30am - 12:00pm