FIRST CALL FOR PAPERS
                 1995 ASIAN COMPUTING SCIENCE CONFERENCE
                           11-13 December, 1995
                           Pathumthani, THAILAND

              An interenational Conference co-organized by:
                The Asian Institute of Technology (AIT),
 Institut National de Recherche en Informatique et en Automatique (INRIA),
   United Nations University Institute of Software Technology (UNU/IIST).


Conference co-Chairs:
	Joxan Jaffar (IBM Yorktown, USA)
	Kanchana Kanchanasut (AIT, Thailan)

Organizing Committee:
	Dines Bjorner (UNU/IIST, Macau)
	Jean-Jacques Levy (INRIA, France)
	Kesav Nori (Tata RDDC, India)
	H. N. Phien (AIT, Thailand)

Advisory Committee:
	Kilnam Chon (KAIST, Korea)
	Phan Dinh Dieu (Hanoi, Vietnam)
	Nguyen Hau Le (Northern Telecom, Canada)
	Gerard Huet (INRIA, France)
	Haruhisa Ishida (U of Tokyo, Japan)
	Gilles Kahn (INRIA, France)
	Kanchit Malaivongse (NECTEC, Thailand)

Programme Committee:
	Serge Abiteboul (INRIA, France) 
	Anuchit A. (Stanford U, USA) 
	Surapong A. (NIDA, Thailand) 
	Philippe Flajolet (INRIA, France) 
	Chris W. George (UNU/IIST, Macau)
	Mordecai J. Golin (HKUST, Hong Kong) 
	Gerard Huet (INRIA, France) 
	Christian Huitema (INRIA, France) 
	Dang Van Hung (UNU/IIST, Macau)
	Hsien-Kuei Hwang  (Academia Sinica, Taiwan) 
	Prapass J. (Chulalongkorn U, Thailand)
	Kamal Karlapalem (HKUST, Hong Kong)
	Somnuek K. (Kasetsart U, Thailand) 
	Jean-Jacques Levy (INRIA, France) 
        Hoshi Mamoru (U Elec-Comm, Japan)
	A. A. Nazief (U of Indonesia, Indonesia) 
	Akko Oka. (NTT, Japan) 
	Amir Pnueli (Weizmann Inst, Israel) 
	Somchai P. (Chulalongkorn U, Thailand) 
	Xu Qiwen (UNU/IIST, Macau) 
	S. Ramadass (U Sain Malaysia, Malaysia) 
	S. Ramesh  (IIT Bombay, India) 
	Louiqa Raschid (U of Maryland, USA) 
	R. Sadananda (AIT, Thailand) 
	Masahiko Sato (Tohoku U, Japan) 
	Taisuke Sato  (ETL, Japan) 
	R.K. Shyamasundar (TIFR Bombay, India) 
	Nguyen Thanh Son (Polytech HCM, Vietnam) 
	D. Srivastava (ATT Bell Lab, USA) 
	Peter J. Stuckey (U of Melbourne, Australia) 
	Wittaya W.  (NIDA, Thailand)
	Qi Yulu  (AIT, Thailand)

The conference is intended to provide a forum in Asia  for researchers in 
computer science.  A major goal of  ACSC  is to  foster communication and 
cooperation  among the diverse communities  involved  in the practice and 
theory of  computing, including those involved in systems, languages, and 
applications. It is expected that every accepted paper will be presented. 
Contributed papers presenting original research in the following areas of 
computer science (but not exclusive) are sought:

	Algorithms
	Knowledge Representation and Automated Reasoning
	Specification Languages and Software Verification
	Parallel, Networking and Distributed  Systems
	Databases
	Reactive Systems

Important Dates:
	Submission of Papers             15 June, 1995 
	Notification of Acceptance       20 August, 1995
	Final Version                    1 September, 1995

Submissions:
	Authors are invited to submit full papers (in English, up to 18 pages, 
	typeset 12 point) to:
		Kanchana Kanchanasut 
		Computer Science Program 
		Asian Institute of of Technology 
		Km. 42 Paholyothin Highway 
		Klong Luang, Pathumthani 12120 
		THAILAND 
		Phone: +66 2 524 5703
		Fax: +66 2 524 5721 
		e-mail: acsc95@cs.ait.ac.th

If ordinary mail is used,  five (5)  copies of  the paper  should be  sent by 
express or  courier mail.  Electronic  submission is  encouraged via  e-mail, 
in  the  PostScript(tm)  printable files,  however  a printed reference  copy
should be sent by post. Each submission, both by ordinary mail and by e-mail, 
should be  accompanied by a  separate message providing  a single postal  and
e-mail address for communication,  complete title,  author(s), affiliation(s) 
and 200 word abstract.

Conference Format:
	The conference will be three days long from Monday to Wednesday, and 
	will include several tutorials and invited talks. It will take place 
	at the  AIT Center,  which is 17 Km. north of  Bangkok International 
	Airport or 42 Km. north of Bangkok.