Start Date: | 4/23/2014 | Start Time: | 9:00 AM |
End Date: | 4/23/2014 | End 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 StudentsPublic |
|