Path: utzoo!utgpu!water!watmath!clyde!att!ihnp4!upba!unocss!hdr!mcmi!denny From: gsp@mulga.oz.au (Graeme Port) Newsgroups: news.announce.conferences Subject: AIT Summer School 1988 Message-ID: <251@mcmi.UUCP> Date: 12 May 88 20:00:10 GMT Expires: 6 Dec 88 00:00:00 GMT Sender: denny@mcmi.UUCP Reply-To: kk@munnari.oz (Kanchana Kanchanasut) Organization: Comp Sci, Melbourne Uni, Australia Lines: 27 Approved: denny@mcmi Location: Bangkok, Thailand 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