Computer Verification Symposium Featuring Edmund Clarke

Wednesday, April 23, 2014

9:00 AM-12:00 PM

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

Jennifer Lally
2158951077
jl352@drexel.edu