From: utzoo!utcsrgv!phyllis Newsgroups: ont.events Title: DCS Seminars Article-I.D.: utcsrgv.752 Posted: Thu Dec 2 14:16:35 1982 Received: Thu Dec 2 14:26:24 1982 Friday, December 3rd, 11:00 A.M., GB415: Professor J. Halpern, IBM Research Center, San Jose, CA.: "A logic to reason about likelihood".