May
01
Upcoming Event
Benjamin Recht (UC Berkeley): Distinguished Speaker Series- The Irrational Decision: How We Gave Computers the Power to Choose for Us
May 01, 2026
Apr
28
Upcoming Event
Clayton Mizgerd (UIC)- Sampling colorings on bounded-degree graphs
Apr 28, 2026
Apr
21
Upcoming Event
Max Hopkins (Princeton)- As Hard as it Gets: Hardness Amplification and Local List Decoding from HDX
Apr 21, 2026
Apr
20
Upcoming Event
Benjamin Quiring (University of Maryland)- Type-Based Techniques for the Design and Correctness of Programming Language Implementations
Apr 20, 2026
Apr
16
Upcoming Event
Xinyu Xing (Northwestern)- Toward Autonomous Cybersecurity Systems: Scaling Security Expertise with AI
Apr 16, 2026
Apr
15
Upcoming Event
Noam Zilberstein (Cornell)- Formal Foundations for Programs with Interacting Effects
Apr 15, 2026
Upcoming Event
Distinguished Speaker Series: Jon Kleinberg (Cornell)- Formal Models of Language Generation
Apr 10, 2026
Upcoming Event
Distinguished Speaker Series: Lillian Lee (Cornell)- Taking a turn for the better? Pivoting and pivotal moments in mental-health counseling conversations
Apr 09, 2026