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.