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