International Symposium on Verification - Theory and Practice in honor of the 64th Birthday of Zohar Manna Conference