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

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

CICS Community Conversations are a way to bring our community together to discuss current issues. This year's conversations will focus on race, class, gender, socioeconomic status, ethnicity, and other identities that...

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

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

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

08 Nov
Undergraduate Event
Computer Science Building, Room 150 & 151
Friday, 11/08/2019 3:30pm to 10:30pm

This event is a celebration for first-generation undergraduate students in CICS. There will be food, refreshments, speakers, and engaging group activities such as icebreakers and team-building exercises.

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

Holiday - Veterans' Day

13 Nov
Academic Calendar
Wednesday, 11/13/2019 (All day)

Monday class schedule will be followed

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

Abstract: Software bugs, leading to correctness or security issues, are pervasive in modern software. Fuzzing or fuzz testing is a method to find such bugs automatically by sending many random-looking inputs to the...

14 Nov
Ph.D. Thesis Defense
CS 151
Thursday, 11/14/2019 2:30pm to 4:30pm

Advisor: Brian Levine

Pages