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
Apr
03
Upcoming Event
Mengyuan Li (USC)- Confidential Computing and Trusted Execution Environments: Challenges and Opportunities for Trustworthy AI
Apr 03, 2026
Upcoming Event
Eric Paulos (UC Berkeley)- Plastic Dynamism: Encountering and Designing with Emerging Technologies
Apr 02, 2026
