maurice@kulcs.uucp (Maurice Bruynooghe) (11/23/88)
On wednesday november 30 1988, Prof Alan Robinson will receive a honorary degree at the Katholieke Universiteit Leuven (Belgium) in recognition of his pioneering work in automated theorem proving (the resolution principle) and the important role he played (and still plays)in the development of Logic Programming.