Distinguished Lecture: Maurice Herlihy, Brown University, 'Correctness and Atomicity in Adversarial Environments'

Friday, October 13, 2023 - 02:30pm - Friday, October 13, 2023 - 03:30pm

NCS 120

Ph.D. Proposal Defense: Amol Damare, 'A Barrier Certificate-based Neural Simplex Architecture'

Monday, October 09, 2023 - 01:30pm - Monday, October 09, 2023 - 03:00pm

NCS 109

Fall Break: No Classes in Session

Sunday, October 08, 2023 - 08:00pm - Tuesday, October 10, 2023 - 08:00pm

Seminar: 'WebSheets: A New Privacy-Centric Framework for Web Applications', Scott Stoller

Friday, October 06, 2023 - 02:40pm - Friday, October 06, 2023 - 03:40pm

NCS 120

ICPC Selection Contest

Wednesday, October 04, 2023 - 07:00pm - Wednesday, October 04, 2023 - 11:00pm

Old CS Room 2129

Seminar: Research area overview talks

Friday, September 29, 2023 - 02:40pm - Friday, September 29, 2023 - 03:40pm

Javitz 102

Ph.D. Thesis Defense: Yuheng Wang, 'Knowledge Authoring with Factual English, Rules, and Actions'

Tuesday, September 26, 2023 - 03:30pm - Tuesday, September 26, 2023 - 05:00pm

NCS 109 or Zoom