FIRST CALL FOR PAPERS
1995 ASIAN COMPUTING SCIENCE CONFERENCE
11-13 December, 1995
Pathumthani, THAILAND
An international 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:
Shigeki Goto (NTT, Japan)
Joxan Jaffar (IBM Yorktown, USA)
Kanchana Kanchanasut (AIT, Thailand)
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: ······@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.