CAV 2008 is the 20th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue ...
Harvard Computer Science professor Cynthia Dwork discussed the shortcomings of risk prediction algorithms at the Center of Mathematical Sciences and Applications’ annual Ding Shum lecture Tuesday ...
Southeastern Louisiana University’s Department of Computer Science is hosting the third of the fall Industry Connect Distinguished Lectures at 4 p.m. Nov. 21 in the Envoc Innovation Lab, in room 2026 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback