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
Apr
08
Upcoming Event
Berthy Feng (MIT)- Imaging at the Edge of Science: Integrating Scientific Knowledge and AI to Recover Hidden Structure
Apr 08, 2026
