Faculty Recruiting Support CICS

Events Calendar

06 Nov
Machine Learning and Friends Lunch
Computer Science Building, Room 140
Wednesday, 11/06/2019 11:45am to 1:00pm

I will discuss our research to use large amounts of unlabeled video in order to efficiently train models for visual recognition. Leveraging millions of videos, our work develops methods for machines to learn perception...

06 Nov
Rising Stars
Computer Science Building, Room 150/151
Wednesday, 11/06/2019 12:15pm to 1:15pm

Abstract:  Interactive theorem provers make it possible to prove that a program satisfies a specification. This provides a high degree of certainty that the program is trustworthy. The last two decades have marked a new...