Faculty Recruiting Support CICS

Events Calendar

04 Mar
Academic Calendar
Monday, 03/04/2019 (All day)

Last day to drop with "DR" - Graduate (including CPE)

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

Lunch available at 11:45 a.m.
Meeting begins at noon

04 Mar
Special Event
Computer Science Building, Room 151
Monday, 03/04/2019 4:00pm to 5:00pm

Abstract: The enormous rise in the scale, scope, and complexity of software projects has created a thriving marketplace for program analysis and verification tools. Despite routine adoption by industry, developing such...