![]() |
'Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat' Neng-Fa Zhou, CUNY Brooklyn College & Graduate Center
Thursday, December 02, 2021 - 11:30am - Thursday, December 02, 2021 - 12:30pm Zoom - contact events@cs.stonybrook.edu for Zoom information. |
![]() |
IEDM Multiscale Bio-imaging Workshop
Thursday, December 02, 2021 - 08:30am - Thursday, December 02, 2021 - 04:00pm Hilton Garden Inn Stony Brook, 1 Circle Rd, Stony Brook, NY 11794, USA |
![]() |
Rance Cleaveland, UMD, 'Back-to-Back, and Back Again: Model-Based Testing of Control Software using Reactis®'
Thursday, December 02, 2021 - 03:00pm - Thursday, December 02, 2021 - 04:00pm Zoom (contact events@cs.stonybrook.edu for Zoom information). |
![]() |
PhD Thesis Defense, Phong Hoang, 'Tackling Online Surveillance and Censorship with Empirical Network Measurement'
Wednesday, December 01, 2021 - 02:00pm - Wednesday, December 01, 2021 - 03:00pm Contact events@cs.stonybrook.edu for Zoom info. |
![]() |
CSE 600 Talks - 10 essential things you need to know to be(come) a great PhD student. What matters and what doesn't. by Radu Sion
Friday, October 22, 2021 - 02:40pm - Friday, October 22, 2021 - 03:40pm |
![]() |
College of Engineering and Applied Sciences Dean's State of the College Address
Friday, October 22, 2021 - 01:00pm - Friday, October 22, 2021 - 02:30pm |
![]() |
CSE 600 Talks - Detection of Trojan Attacks to Deep Neural Networks - A Topological Perspective by Chao Chen
Friday, October 15, 2021 - 02:40pm - Friday, October 15, 2021 - 03:40pm |