For a better experience, click the Compatibility Mode icon above to turn off Compatibility Mode, which is only for viewing older websites.

Computer Verification Symposium

Wednesday, April 23, 2014

9:00 AM-12:00 PM

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.

Remind me about this event. Notify me if this event changes. Add this event to my personal calendar.


Behrakis Grand Hall, Creese Student Center


  • Current Students
  • Public