Drexel University - Comprehensive, integrated academics enhanced by co-operative education, technology, and research opportunities. | Drexel University
Drexel University
Quick Links
Search events. View events.

All Categories

Click for help in using calendar displays. Print the contents of the current screen.
Display Format: 
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
    		•

    Display Month:
    Advanced Search (New Search)
    Date Range:
    Time Range:
    Category(s):
    Audience: 

    Special Features: 

    Keyword(s):
    Submit
    Select item(s) to Search
    Select item(s) to Search
    Select item(s) to Search
    Select item(s) to Search