![]() |
WiCS Workathon: Spring into Productivity
Friday, March 08, 2024 - 03:30pm - Friday, March 08, 2024 - 05:30pm Old Computer Science, Room 2120 |
![]() |
WiCS Workathon: Spring into Productivity
Friday, March 08, 2024 - 03:30pm - Friday, March 08, 2024 - 05:30pm Old Computer Science, Room 2120 |
![]() |
Seminar: 'Bounded Model Checking for Hyperproperties' - Borzoo Bonakdarpour
Friday, March 01, 2024 - 01:00pm - Friday, March 01, 2024 - 02:00pm NCS 120 |
![]() |
Seminar: 'Bounded Model Checking for Hyperproperties' - Borzoo Bonakdarpour
Friday, March 01, 2024 - 01:00pm - Friday, March 01, 2024 - 02:00pm NCS 120 |
![]() |
amazon@SBU: AWS bootcamp
Saturday, February 24, 2024 - 12:00pm - Saturday, February 24, 2024 - 04:00pm Stony Brook Union, 250 John S. Toll Drive, Stony Brook, NY 11794, USA |
![]() |
amazon@SBU: AWS bootcamp
Saturday, February 24, 2024 - 12:00pm - Saturday, February 24, 2024 - 04:00pm Stony Brook Union, 250 John S. Toll Drive, Stony Brook, NY 11794, USA |
![]() |
Seminar: 'Controller-Attacker Games for Multi-Agent Systems' - Scott Smolka, Scott Stoller
Friday, February 23, 2024 - 02:30pm - Friday, February 23, 2024 - 03:30pm NCS 120 |