Faculty Recruiting Support CICS

Events Calendar

04 Nov
Academic Calendar
Monday, 11/04/2019 (All day)

Registration begins for Spring 2020

04 Nov
Special Event
Computer Science Building, Room 150/151
Monday, 11/04/2019 11:45am to 1:25pm

Lunch available at 11:45 a.m.

Meeting begins at noon

04 Nov
Data Science Tea
Computer Science Building, Room 150 & 151
Monday, 11/04/2019 4:00pm to 5:00pm

Recent work has introduced a correspondence between jet physics and natural languages, where jet constituents are analogous to words and the clustering history of jet algorithms is similar to the parsing of a sentence. In...

05 Nov
Diversity & Inclusion
Computer Science Building, Room 150 & 151
Tuesday, 11/05/2019 11:30am to 1:00pm

The Office of Diversity and Inclusion and CICS Career Services invite you and your friends and family to join us in our 'International Student Panel' held on November 5th from 11:30 AM to 1:00 PM in CS RM 150/151. The...

05 Nov
Security Seminar
Computer Science Building, Room 151
Tuesday, 11/05/2019 2:30pm to 3:30pm

At Usenix Security 2019, the former Chief Security Officer for Facebook, Alex Stamos, begged security researchers to start working on "actual bad stuff" that happens to real people as opposed to esoteric "side channel ...

05 Nov
Theory Seminar
Computer Science Building Room 140
Tuesday, 11/05/2019 4:00pm to 5:00pm

The sensitivity of a boolean function on n bit inputs is defined as the maximum, over all possible inputs, of the number of bits of the input that one can flip that will also flip the output of the function. The ...

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

07 Nov
Computer Science Building, Room 150/151
Thursday, 11/07/2019 11:00am to 12:00pm

ABSTRACT:  In the last few years, there has been remarkable progress in deep generative modeling. However, the learned models are noticeably inaccurate w.r.t. to the underlying data distribution, as evident from...

08 Nov
Theory Seminar
Computer Science Building, Room 150/151
Friday, 11/08/2019 10:30am to 11:30am

In many settings, learning algorithms are deployed "in the wild", where their output is used before the classifier has
been fully trained. In this online context, a natural model of interaction is Angluin's (1988)...