for a cleared version of the Cocke/Markstein paper. The author informs also that Howard Morgan will speak.