Upcoming Events

Check back often, as we're always adding events, conferences, competitions and more.

This is only the public version of upcoming events and announcements for CS undergrads. Log into our My CS intranet for more event listings like info-sessions, workshops, and socials, and to create a customized calendar feed of events you'd like to attend.

Tech Talks

Thu, 2024-02-15 15:30 -Thu, 2024-02-15 17:00

DLS Talk by Nikhil Swamy (Microsoft Research)

Speaker: Dr. Nikhil Swamy, Microsoft Research, Redmond

Title: Proof-oriented Programming for Critical Compute Infrastructure

Abstract:

From the early days of computer science, the potential of mathematical proofs of programs to eradicate large

Thu, 2024-02-08 15:30 -Thu, 2024-02-08 17:00

DLS Talk by Elisabeth André (Augsburg)

Thu, 2023-11-09 15:30 -Thu, 2023-11-09 17:00

DLS Talk by Kai Li (Princeton)

Speaker: Dr. Kai Li, Department of Computer Science, Princeton University

Title/Abstract: TBA

Bio:

Kai Li, the Paul M. Wythes and Marcia R. Wythes Professor in Computer Science, earned a doctorate from Yale in 1986 and joined Princeton the same

Thu, 2023-11-02 15:30 -Thu, 2023-11-02 17:00

DLS Talk by Yejin Choi (UW)

Speaker: Dr. Yejin Choi, Paul G. Allen School of Computer Science & Engineering, University of Washington

Title: Possible Impossibilities and Impossible Possibilities

Abstract: In this talk, I will question if there can be possible impossibilities

View all events