| |
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 |
