Start Date: | 4/23/2014 | Start Time: | 9:00 AM |
End Date: | 4/23/2014 | End Time: | 12:00 PM |
|
Event Description Computer Verification Symposium Featuring Edmund Clarke Recipient of the 2014 Bower Award
This symposium is on model checking and the verification of computer systems and celebrates the contributions of Edmund Clarke, this year’s recipient of the Franklin Institute Bower Award. 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.
Wednesday, April 23, 2014 9:00 a.m. – 12:00 p.m. Breakfast will be available at 8:30 a.m.
Behrakis Grand Hall, Creese Student Center Drexel University 3210 Chestnut Street Philadelphia, PA 19104
Speakers:
David Dill, Standford University “Why Model Checking was a Successful Research Area”
Helmut Veith, Vienna University of Technology “Logic and Computer Science: Before and After Model Checking”
Edmund Clarke, Carnegie Mellon University “Model Checking and the Verification of Computer Systems”
Register: Please RSVP at bit.ly/1g7rApi Price: Free and open to the public Information: 215-895-2474 or cciinfo@drexel.edu
Awards Week is generously underwritten by Mrs. Frank Baldino, Jr. The Franklin Institute Awards are presented by The Franklin Institute. |
Contact Information: Name: Jennifer Lally Phone: 2158951077 Email: jl352@drexel.edu |
|
Location: Behrakis Grand Hall, Creese Student Center Drexel University 3210 Chestnut Street Philadelphia, PA 19104 |
Audience: AlumniCurrent StudentsFacultyStaffGraduate Students |
Special Features: Free Food |
|