gsp@mulga.oz.au (Graeme Port) (05/13/88)
I am sending this on behalf of a friend, please reply to the address at the bottom. First announcement .... The Third Asian School of Computer Science December 6 - 16, 1988 Asian Institute of Technology Bangkok, Thailand Theme: Logic of Programs Invited Lecturers: Zohar Manna, Stanford Uni, USA Richard Waldinger, SRI, USA Gerard Berry, INRIA, France Giles Kahn, INRIA, France For further information, please contact: Kanchana Kanchanasut, Division of Computer Science, Asian Institute of Technology, P.O. Box 2754, Bangkok 10501 Thailand e-mail: kk@munnari.oz