Faculty Recruiting Support CICS

Events Calendar

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