Symposium Celebrates Ed Clarke and Model Checking More Than 50 Speakers Will Share Latest Work in Verification [1]