Events Calendar for Drexel UniversityClick here to Print
Event Details
Notify me if this event changes.Add this event to my personal calendar.
Go Back
Computer Verification Symposium
Start Date: 4/23/2014Start Time: 9:00 AM
End Date: 4/23/2014End Time: 12:00 PM
Event Description
This symposium is on model checking and the verification of computer systems and celebrates the contributions of Edmund Clarke, PhD, this year’s recipient of the Franklin Institute Bower Award and Prize for Achievement in Science.

The 2014 Bower Award and Prize for Achievement in Science is presented to Edmund Clarke for his leading role in the conception and development of techniques for automatically verifying the correctness of a broad array of computer systems, including those found in transportation, communications, and medicine. RSVP here.
 
Breakfast will be offered at 8:30 a. m.
Location:
Behrakis Grand Hall, Creese Student Center
Audience:
  • Current Students
  • Public
    		•

    Select item(s) to Search
    Select item(s) to Search
    Select item(s) to Search
    Select item(s) to Search